1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index cbfb6b0..6abc8c7 100644
--- a/Makefile
+++ b/Makefile
@@ -115,6 +115,7 @@ SUBDIRS	= tools \
 	  examples \
 	  post \
 	  post/cpu
+.PHONY : $(SUBDIRS)
 
 #########################################################################
 #########################################################################
@@ -150,7 +151,7 @@ $(LIBS):
 
 $(SUBDIRS):
 		@echo "#### MAKE $@ ####"
-		$(MAKE) -C $@
+		$(MAKE) -C $@ all
 
 gdbtools:
 		$(MAKE) -C tools/gdb || exit 1