WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
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
Add attachment
proposed patch, testcase, etc.
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.
Top of Page
Format For Printing
XML
Clone This Bug