Bug fix in profiling output.

2 files changed, 6 insertions, 2 deletions

diff --git a/ChangeLog b/ChangeLog
index 971541cd..f4783237 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-02         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* profile.c (print_lib_list): Send final newline to prof_fp
+	instead of stdout.  Thanks to Hermann Peifer for the bug report.
+
 2013-03-27         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* Makefile.am (SUBDIRS): Move extension back into the middle of
diff --git a/profile.c b/profile.c
index 4764fe00..8c5f3b79 100644
--- a/profile.c
+++ b/profile.c
@@ -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 */