diff options
Diffstat (limited to 'http/webkitgtk3/CONFIGURE')
| -rwxr-xr-x | http/webkitgtk3/CONFIGURE | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/http/webkitgtk3/CONFIGURE b/http/webkitgtk3/CONFIGURE index 87e576f027..97ef3e41fc 100755 --- a/http/webkitgtk3/CONFIGURE +++ b/http/webkitgtk3/CONFIGURE @@ -1,8 +1,11 @@ config_query_option WEBKIT_OPTS "Enable support for WebGL" y \ - -DENABLE_WEBGL={ON,OFF} && + "-DENABLE_WEBGL=ON" \ + "-DENABLE_WEBGL=OFF" && config_query_option WEBKIT_OPTS "Enable JIT compilation?" y \ - -DENABLE_JIT={ON,OFF} && + "-DENABLE_JIT=ON" \ + "-DENABLE_JIT=OFF" && config_query_option WEBKIT_OPTS "Enable Media statistics?" n \ - -DENABLE_MEDIA_STATISTICS={ON,OFF} + "-DENABLE_MEDIA_STATISTICS=ON" \ + "-DENABLE_MEDIA_STATISTICS=OFF" |