diff make/linux/makefiles/compiler2.make @ 9114:01958088b87d

Merge.
author Christian Haeubl <haeubl@ssw.jku.at>
date Mon, 15 Apr 2013 08:49:14 +0200
parents d538dce8f403
children 0f3fe35513a0
line wrap: on
line diff
--- a/make/linux/makefiles/compiler2.make	Mon Apr 08 17:48:46 2013 +0200
+++ b/make/linux/makefiles/compiler2.make	Mon Apr 15 08:49:14 2013 +0200
@@ -32,4 +32,6 @@
 
 ifndef OMIT_GRAAL
   CFLAGS += -DGRAAL
+else
+  VM_SUBDIR = server-nograal
 endif
\ No newline at end of file