diff -r eaee3c8d6ae0 -r 9cfbb344adc0 configure.ac --- a/configure.ac Fri Oct 13 09:38:23 2006 +0000 +++ b/configure.ac Fri Oct 13 09:39:42 2006 +0000 @@ -80,6 +80,7 @@ devices/Makefile script/Makefile include/Makefile + examples/Makefile examples/mini/Makefile examples/rtai/Makefile examples/msr/Makefile