diff options
Diffstat (limited to 'profile.c')
-rw-r--r-- | profile.c | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -3,7 +3,7 @@ */ /* - * Copyright (C) 1999-2011 the Free Software Foundation, Inc. + * Copyright (C) 1999-2013 the Free Software Foundation, Inc. * * This file is part of GAWK, the GNU implementation of the * AWK Programming Language. @@ -935,7 +935,6 @@ print_lib_list(FILE *prof_fp) SRCFILE *s; static bool printed_header = false; - for (s = srcfiles->next; s != srcfiles; s = s->next) { if (s->stype == SRC_EXTLIB) { if (! printed_header) { @@ -946,7 +945,7 @@ print_lib_list(FILE *prof_fp) } } if (printed_header) /* we found some */ - printf("\n"); + fprintf(prof_fp, "\n"); } /* dump_prog --- dump the program */ |