diff options
author | netblue30 <netblue30@yahoo.com> | 2017-10-22 11:09:50 -0400 |
---|---|---|
committer | netblue30 <netblue30@yahoo.com> | 2017-10-22 11:09:50 -0400 |
commit | ba231088e6bd8e4c52e372f7a4d2928ee7bf223a (patch) | |
tree | 614f1fbcbdaa6ae5ac6a2148bd13cb6073b263e7 /src/fbuilder/filedb.c | |
parent | --build fixes (diff) | |
download | firejail-ba231088e6bd8e4c52e372f7a4d2928ee7bf223a.tar.gz firejail-ba231088e6bd8e4c52e372f7a4d2928ee7bf223a.tar.zst firejail-ba231088e6bd8e4c52e372f7a4d2928ee7bf223a.zip |
--build: save the resulting profile in a file
Diffstat (limited to 'src/fbuilder/filedb.c')
-rw-r--r-- | src/fbuilder/filedb.c | 4 |
1 files changed, 2 insertions, 2 deletions
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) { | |||
69 | return entry; | 69 | return entry; |
70 | }; | 70 | }; |
71 | 71 | ||
72 | void filedb_print(FileDB *head, const char *prefix) { | 72 | void filedb_print(FileDB *head, const char *prefix, FILE *fp) { |
73 | FileDB *ptr = head; | 73 | FileDB *ptr = head; |
74 | while (ptr) { | 74 | while (ptr) { |
75 | printf("%s%s\n", prefix, ptr->fname); | 75 | fprintf(fp, "%s%s\n", prefix, ptr->fname); |
76 | ptr = ptr->next; | 76 | ptr = ptr->next; |
77 | } | 77 | } |
78 | } | 78 | } |