src/Makefile
src/amok/Makefile
examples/Makefile
- examples/ping/Makefile examples/ping/test_sg examples/ping/test_rl
examples/msg/Makefile
doc/Makefile
doc/Doxyfile.main doc/Doxyfile.API doc/Doxyfile.Examples
chmod +x $srcdir/tools/gras-check-arch;
])
+# examples/ping/Makefile examples/ping/test_sg examples/ping/test_rl
# examples/saturate/Makefile examples/saturate/test_sg