X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Makefile;fp=Makefile;h=97022f38399056e7eac0c2a682c306a5f33ab6d2;hp=8e51d8f8947df774b37c5b1067ecf8b64a145326;hb=f4b69a7f12e47d146be4cecf1d46dfd37f87d89a;hpb=ea68fe042705986beaec92f33db0395b816c2e38

diff --git a/Makefile b/Makefile
index 8e51d8f..97022f3 100644
--- a/Makefile
+++ b/Makefile
@@ -480,15 +480,12 @@ endif
 ifdef V3_CONFIG_LINUX
 DEFAULT_EXTRA_TARGETS=linux_module
 else
-DEFAULT_EXTRA_TARGETS=
-endif
-
 ifdef V3_CONFIG_NAUTILUS
 DEFAULT_EXTRA_TARGETS=nautilus
 else
 DEFAULT_EXTRA_TARGETS=
 endif
-
+endif
 
 # The all: target is the default when no target is given on the
 # command line.
@@ -654,13 +651,14 @@ linux_module/v3vee.ko: linux_module/*.c linux_module/*.h libv3vee.a
 	cd linux_module/ && make -j 8
 	cp linux_module/v3vee.ko v3vee.ko
 
-
+.PHONY: linux_module
 linux_module: linux_module/v3vee.ko 
 
 nautilus/libnautilus.a: nautilus/*.c nautilus/*.h libv3vee.a
 	cd nautilus/ && make 
 	cp nautilus/libnautilus.a .
 
+.PHONY: nautilus
 nautilus: nautilus/libnautilus.a