--- old/make/jprt.properties 2015-07-06 05:04:52.085258985 -0400 +++ new/make/jprt.properties 2015-07-06 05:04:50.833187676 -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