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 | } |