diff options
Diffstat (limited to 'src/fbuilder/fbuilder.h')
-rw-r--r-- | src/fbuilder/fbuilder.h | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/fbuilder/fbuilder.h b/src/fbuilder/fbuilder.h index 480569027..f0d16eb26 100644 --- a/src/fbuilder/fbuilder.h +++ b/src/fbuilder/fbuilder.h | |||
@@ -36,21 +36,21 @@ extern int arg_debug; | |||
36 | void build_profile(int argc, char **argv, int index, FILE *fp); | 36 | void build_profile(int argc, char **argv, int index, FILE *fp); |
37 | 37 | ||
38 | // build_seccomp.c | 38 | // build_seccomp.c |
39 | void build_seccomp(char *fname, int fd, FILE *fp); | 39 | void build_seccomp(const char *fname, FILE *fp); |
40 | void build_protocol(char *fname, int fd, FILE *fp); | 40 | void build_protocol(const char *fname, FILE *fp); |
41 | 41 | ||
42 | // build_fs.c | 42 | // build_fs.c |
43 | void build_etc(char *fname, FILE *fp, FILE *fpo); | 43 | void build_etc(const char *fname, FILE *fp); |
44 | void build_var(char *fname, FILE *fp, FILE *fpo); | 44 | void build_var(const char *fname, FILE *fp); |
45 | void build_tmp(char *fname, FILE *fp, FILE *fpo); | 45 | void build_tmp(const char *fname, FILE *fp); |
46 | void build_dev(char *fname, FILE *fp, FILE *fpo); | 46 | void build_dev(const char *fname, FILE *fp); |
47 | void build_share(char *fname, FILE *fp, FILE *fpo); | 47 | void build_share(const char *fname, FILE *fp); |
48 | 48 | ||
49 | // build_bin.c | 49 | // build_bin.c |
50 | void build_bin(char *fname, FILE *fp, FILE *fpo); | 50 | void build_bin(const char *fname, FILE *fp); |
51 | 51 | ||
52 | // build_home.c | 52 | // build_home.c |
53 | void build_home(char *fname, FILE *fp, FILE *fpo); | 53 | void build_home(const char *fname, FILE *fp); |
54 | 54 | ||
55 | // utils.c | 55 | // utils.c |
56 | int is_dir(const char *fname); | 56 | int is_dir(const char *fname); |
@@ -67,4 +67,4 @@ FileDB *filedb_add(FileDB *head, const char *fname); | |||
67 | FileDB *filedb_find(FileDB *head, const char *fname); | 67 | FileDB *filedb_find(FileDB *head, const char *fname); |
68 | void filedb_print(FileDB *head, const char *prefix, FILE *fp); | 68 | void filedb_print(FileDB *head, const char *prefix, FILE *fp); |
69 | 69 | ||
70 | #endif | 70 | #endif \ No newline at end of file |