diff -r 18c48cb7de06 -r a9794f927d78 configure.ac
--- a/configure.ac	Thu May 03 14:29:21 2007 +0000
+++ b/configure.ac	Wed Jun 06 17:02:38 2007 +0000
@@ -347,6 +347,7 @@
         examples/mini/Makefile
         examples/rtai/Makefile
         examples/msr/Makefile
+        dummy/Makefile
 ])
 AC_OUTPUT