diff options
Diffstat (limited to 'misc/valgrind-supp-extractor.c')
-rw-r--r-- | misc/valgrind-supp-extractor.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/misc/valgrind-supp-extractor.c b/misc/valgrind-supp-extractor.c index 0b56a91..ce40a59 100644 --- a/misc/valgrind-supp-extractor.c +++ b/misc/valgrind-supp-extractor.c @@ -3,12 +3,14 @@ int main (int argc, char ** argv) { char c = fgetc(stdin); int s = 0; /* 0: not in supp, 1: in supp */ while (!feof(stdin)) { - if (c == '}') - s = 0; - if (s) - fputc(c, stdout); if (c == '{') s = 1; + if (s) + fputc(c, stdout); + if (c == '}') { + fputc('\n', stdout); + s = 0; + } c = fgetc(stdin); } fflush(stdout); |