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