diff -r 56993027a2d0 -r 42fbd117c3e3 .hgignore
--- a/.hgignore	Fri Jul 08 14:28:07 2011 +0200
+++ b/.hgignore	Fri Jul 08 15:31:46 2011 +0200
@@ -26,6 +26,7 @@
 config.log
 config.status
 configure
+debuild.log
 devices/Kbuild
 devices/Makefile
 devices/Makefile.in
@@ -99,12 +100,15 @@
 examples/rtai/Kbuild
 examples/rtai/Makefile
 examples/rtai/Makefile.in
+examples/rtai_rtdm/.deps
 examples/user/.deps
 examples/user/.libs
 examples/user/Makefile
 examples/user/Makefile.in
 examples/user/TAGS
 examples/user/ec_user_example
+examples/xenomai/.deps
+examples/xenomai_posix/.deps
 include/Makefile
 include/Makefile.in
 include/TAGS