GNUmakefile: use PCH so compiler goes faster

[factor.git] / vm / Config.linux

diff --git a/vm/Config.linux b/vm/Config.linux
index 3a2539d930fa67ace7c40bc951e0d6638bb29d48..00ad5b4858619b85cba7546115fa5a78940ac8dc 100644 (file)
--- a/vm/Config.linux
+++ b/vm/Config.linux
@@ -1,4 +1,5 @@
 include vm/Config.unix
 PLAF_DLL_OBJS += vm/os-genunix.o vm/os-linux.o vm/mvm-unix.o
+PLAF_MASTER_HEADERS += vm/os-genunix.hpp vm/os-linux.hpp
 LIBS = -ldl -lm -lrt -lpthread $(X11_UI_LIBS) -Wl,--export-dynamic
 SITE_CFLAGS += -Wl,--no-as-needed