diff --git a/examples/Makefile b/examples/Makefile
index 6c53f72c387..9bf67bf2d4a 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -10,7 +10,6 @@ LEVEL=../..
 
 include $(LEVEL)/Makefile.config
 
-DIRS=
-OPTIONAL_DIRS:=$(basename $(shell ls $(SourceDir) | grep -v CVS | grep -v Makefile))
+DIRS = Fibonacci HowToUseJIT
 
 include $(BUILD_SRC_ROOT)/Makefile.rules
diff --git a/projects/SmallExamples/Makefile b/projects/SmallExamples/Makefile
index 6c53f72c387..9bf67bf2d4a 100644
--- a/projects/SmallExamples/Makefile
+++ b/projects/SmallExamples/Makefile
@@ -10,7 +10,6 @@ LEVEL=../..
 
 include $(LEVEL)/Makefile.config
 
-DIRS=
-OPTIONAL_DIRS:=$(basename $(shell ls $(SourceDir) | grep -v CVS | grep -v Makefile))
+DIRS = Fibonacci HowToUseJIT
 
 include $(BUILD_SRC_ROOT)/Makefile.rules