From ba231088e6bd8e4c52e372f7a4d2928ee7bf223a Mon Sep 17 00:00:00 2001 From: netblue30 Date: Sun, 22 Oct 2017 11:09:50 -0400 Subject: --build: save the resulting profile in a file --- src/fbuilder/filedb.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/fbuilder/filedb.c') diff --git a/src/fbuilder/filedb.c b/src/fbuilder/filedb.c index a76fbc961..b7162c2d6 100644 --- a/src/fbuilder/filedb.c +++ b/src/fbuilder/filedb.c @@ -69,10 +69,10 @@ FileDB *filedb_add(FileDB *head, const char *fname) { return entry; }; -void filedb_print(FileDB *head, const char *prefix) { +void filedb_print(FileDB *head, const char *prefix, FILE *fp) { FileDB *ptr = head; while (ptr) { - printf("%s%s\n", prefix, ptr->fname); + fprintf(fp, "%s%s\n", prefix, ptr->fname); ptr = ptr->next; } } -- cgit v1.2.3-54-g00ecf