--- a/dump.c Tue Sep 25 22:22:45 2007 +0200 +++ b/dump.c Tue Sep 25 22:23:24 2007 +0200 @@ -3,7 +3,7 @@ #include "main.h" -const int should_dump = 1; +const int should_dump = 0; void dump_line(const char *msg, ...) {