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