examples/Makefile.am
changeset 2054 3417bbc4ad2f
parent 1613 070b4b420ab1
child 2056 a92e8f119723
--- a/examples/Makefile.am	Thu Mar 03 09:05:40 2011 +0100
+++ b/examples/Makefile.am	Wed Mar 16 22:12:23 2011 +0100
@@ -40,12 +40,18 @@
 	tty
 endif
 
+if ENABLE_RTDM
+SUBDIRS += \
+	xenomai
+endif
+
 DIST_SUBDIRS = \
 	dc_rtai \
 	dc_user \
 	mini \
 	rtai \
 	tty \
+	xenomai \
 	user
 
 EXTRA_DIST = \