Index: .gitignore
===================================================================
--- .gitignore	(revision 874960bb718cca327cd78b5bbe5e995b770b03a7)
+++ .gitignore	(revision c6e2c1848740d6c61a3890a5359f7c0c641cdb69)
@@ -52,4 +52,6 @@
 tools/prettyprinter/pretty
 tools/pretty
+tools/catchsig
+tools/repeat
 
 # generated by xfig for user manual