RESOLVED WONTFIX 86068
WebKiTGTK+ lacks configure option to disable the inspector.
https://bugs.webkit.org/show_bug.cgi?id=86068
Summary WebKiTGTK+ lacks configure option to disable the inspector.
Sameer Naik
Reported 2012-05-10 01:32:19 PDT
The build-webkit script allows user to disable the inspector using the --no-inspector switch. The webkitgtk configure based system lacks this option. Ideally this would be --disable-inspector.
Attachments
Zan Dobersek
Comment 1 2012-10-05 12:11:30 PDT
The WebKitGKT+ build system has now shifted away from unnecessary configuration options in configure.ac. Rather than using those the features can now be disabled through changing the Source/WebCore/GNUmakefile.features.am file: http://trac.webkit.org/browser/trunk/Source/WebCore/GNUmakefile.features.am
Note You need to log in before you can comment on or make changes to this bug.