SUGGESTED FIX
diff -r bca17e38de00 make/bsd/makefiles/top.make
--- a/make/bsd/makefiles/top.make Tue Aug 09 10:16:01 2011 -0700
+++ b/make/bsd/makefiles/top.make Mon Nov 28 14:53:35 2011 +0100
@@ -47,12 +47,10 @@
Plat_File = $(Platform_file)
CDG = cd $(GENERATED);
-ifdef USE_PRECOMPILED_HEADER
-PrecompiledOption = -DUSE_PRECOMPILED_HEADER
+ifdef PRECOMPILED_HEADER
UpdatePCH = $(MAKE) -f vm.make $(PRECOMPILED_HEADER) $(MFLAGS)
else
UpdatePCH = \# precompiled header is not used
-PrecompiledOption =
endif
Cached_plat = $(GENERATED)/platform.current
diff -r bca17e38de00 make/linux/makefiles/top.make
--- a/make/linux/makefiles/top.make Tue Aug 09 10:16:01 2011 -0700
+++ b/make/linux/makefiles/top.make Mon Nov 28 14:53:35 2011 +0100
@@ -47,12 +47,10 @@
Plat_File = $(Platform_file)
CDG = cd $(GENERATED);
-ifdef USE_PRECOMPILED_HEADER
-PrecompiledOption = -DUSE_PRECOMPILED_HEADER
+ifdef PRECOMPILED_HEADER
UpdatePCH = $(MAKE) -f vm.make $(PRECOMPILED_HEADER) $(MFLAGS)
else
UpdatePCH = \# precompiled header is not used
-PrecompiledOption =
endif
Cached_plat = $(GENERATED)/platform.current
|