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