make/jprt.properties
changeset 31576 e9ea6d99c16c
parent 31575 cf1261b1937f
child 33934 6f9053f5c978
child 31766 3f6852163e6d
--- a/make/jprt.properties	Fri Jul 03 06:23:29 2015 -0700
+++ b/make/jprt.properties	Mon Jul 06 22:19:29 2015 -0400
@@ -61,7 +61,7 @@
 
 # Use these configure args to define debug level
 jprt.debug.build.configure.args=--with-debug-level=slowdebug
-jprt.fastdebug.build.configure.args=--with-debug-level=fastdebug
+jprt.fastdebug.build.configure.args=--with-debug-level=fastdebug --disable-precompiled-headers
 jprt.product.build.configure.args=--with-debug-level=release
 jprt.optimized.build.configure.args=--with-debug-level=optimized
 jprt.debugOpen.build.configure.args=${jprt.debug.build.configure.args} --enable-openjdk-only