[webkit-gtk] PRODUCTION_MODE is becoming DEVELOPER_MODE
Martin Robinson
mrobinson at webkit.org
Tue Apr 29 17:50:54 PDT 2014
Just a heads up to those who build the GTK+ port without using
build-webkit. In https://bugs.webkit.org/show_bug.cgi?id=132370 I
transform PRODUCTION_MODE into DEVELOPER_MODE in order make it easier
to build the GTK+ port for downstream distributions. If you are
building without build-webkit you will need to pass
-DDEVELOPER_MODE=ON when invoking CMake once this patch lands.
--Martin
More information about the webkit-gtk
mailing list