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