diff -r 56993027a2d0 -r 42fbd117c3e3 examples/Makefile.am --- a/examples/Makefile.am Fri Jul 08 14:28:07 2011 +0200 +++ b/examples/Makefile.am Fri Jul 08 15:31:46 2011 +0200 @@ -40,12 +40,28 @@ tty endif +if ENABLE_RTDM +if ENABLE_XENOMAI +SUBDIRS += \ + xenomai \ + xenomai_posix +endif + +if ENABLE_RTAI +SUBDIRS += \ + rtai_rtdm +endif +endif + DIST_SUBDIRS = \ dc_rtai \ dc_user \ mini \ rtai \ tty \ + xenomai \ + xenomai_posix \ + rtai_rtdm \ user EXTRA_DIST = \