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