diff -r cceb9aacf4a6 -r 3417bbc4ad2f examples/Makefile.am --- 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 = \