diff -r 3425c621ee46 -r e93efb4af231 configure.ac
--- a/configure.ac	Tue Nov 20 14:33:16 2012 +0100
+++ b/configure.ac	Tue Nov 20 14:35:53 2012 +0100
@@ -804,6 +804,7 @@
         examples/rtai/Kbuild
         examples/rtai/Makefile
         examples/rtai_rtdm/Makefile
+        examples/rtai_rtdm_dc/Makefile
         examples/tty/Kbuild
         examples/tty/Makefile
         examples/user/Makefile