diff -r ef1266652c4d -r 088a61306930 examples/Makefile.am --- a/examples/Makefile.am Wed Jul 02 11:26:51 2008 +0000 +++ b/examples/Makefile.am Wed Jul 02 12:16:48 2008 +0000 @@ -31,6 +31,6 @@ # #------------------------------------------------------------------------------ -DIST_SUBDIRS = mini rtai msr +DIST_SUBDIRS = mini rtai #------------------------------------------------------------------------------