diff options
Diffstat (limited to 'WebKitTools/Scripts/build-webkit')
| -rwxr-xr-x | WebKitTools/Scripts/build-webkit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/WebKitTools/Scripts/build-webkit b/WebKitTools/Scripts/build-webkit index d9534f8..800e610 100755 --- a/WebKitTools/Scripts/build-webkit +++ b/WebKitTools/Scripts/build-webkit @@ -100,6 +100,7 @@ my ( $videoSupport, $wcssSupport, $webAudioSupport, + $webInspectorSupport, $webSocketsSupport, $webTimingSupport, $wmlSupport, @@ -176,6 +177,9 @@ my @features = ( { option => "input-speech", desc => "Speech Input API support", define => "ENABLE_INPUT_SPEECH", default => 0, value => \$inputSpeechSupport }, + { option => "inspector", desc => "Toggle Web Inspector support", + define => "ENABLE_INSPECTOR", default => 1, value => \$webInspectorSupport }, + { option => "javascript-debugger", desc => "Toggle JavaScript Debugger/Profiler support", define => "ENABLE_JAVASCRIPT_DEBUGGER", default => 1, value => \$javaScriptDebuggerSupport }, |