Index: .gitignore
===================================================================
--- .gitignore	(revision b0c32da8d2956a86a73c0000c8f8110a5c0a64ba)
+++ .gitignore	(revision 295e5071b258274909bae65801c4fa3111bace95)
@@ -11,4 +11,5 @@
 /Makefile
 src/**/Makefile
+tools/**/Makefile
 /version