config_query_option WEBKIT_OPTS "Enable support for WebGL" y \
                    -DENABLE_WEBGL={ON,OFF} &&

config_query_option WEBKIT_OPTS "Enable JIT compilation?" y \
                    -DENABLE_JIT={ON,OFF} &&

config_query_option WEBKIT_OPTS "Enable Media statistics?" n \
                    -DENABLE_MEDIA_STATISTICS={ON,OFF}
