From: Ben Pfaff Date: Fri, 7 Nov 2014 18:29:02 +0000 (-0800) Subject: Make dump_nested() quiet. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5f792c10350d4e9e78eb1e0e9187271d1c8e6113;p=pspp Make dump_nested() quiet. --- diff --git a/dump.c b/dump.c index f87c78b8ff..51f97dc21a 100644 --- a/dump.c +++ b/dump.c @@ -211,9 +211,11 @@ static void dump_nested(void) { int subn = get_u32 (); +#if 0 fprintf (stderr, "nested %d bytes: ", subn); dump_raw(stderr, pos, pos + subn, ""); putc('\n', stderr); +#endif pos += subn; }