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/fbuilder.h | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) (limited to 'src/fbuilder/fbuilder.h') diff --git a/src/fbuilder/fbuilder.h b/src/fbuilder/fbuilder.h index 401ae908e..81dc951ec 100644 --- a/src/fbuilder/fbuilder.h +++ b/src/fbuilder/fbuilder.h @@ -32,24 +32,24 @@ extern int arg_debug; // build_profile.c -void build_profile(int argc, char **argv, int index); +void build_profile(int argc, char **argv, int index, FILE *fp); // build_seccomp.c -void build_seccomp(const char *fname); -void build_protocol(const char *fname); +void build_seccomp(const char *fname, FILE *fp); +void build_protocol(const char *fname, FILE *fp); // build_fs.c -void build_etc(const char *fname); -void build_var(const char *fname); -void build_tmp(const char *fname); -void build_dev(const char *fname); -void build_share(const char *fname); +void build_etc(const char *fname, FILE *fp); +void build_var(const char *fname, FILE *fp); +void build_tmp(const char *fname, FILE *fp); +void build_dev(const char *fname, FILE *fp); +void build_share(const char *fname, FILE *fp); // build_bin.c -void build_bin(const char *fname); +void build_bin(const char *fname, FILE *fp); // build_home.c -void build_home(const char *fname); +void build_home(const char *fname, FILE *fp); // utils.c int is_dir(const char *fname); @@ -64,6 +64,6 @@ typedef struct filedb_t { FileDB *filedb_add(FileDB *head, const char *fname); FileDB *filedb_find(FileDB *head, const char *fname); -void filedb_print(FileDB *head, const char *prefix); +void filedb_print(FileDB *head, const char *prefix, FILE *fp); #endif \ No newline at end of file -- cgit v1.2.3-70-g09d2