diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-15 02:05:17 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-15 02:05:17 -0800 |
| commit | b29060f38b30e6e379769582a0cf7cc3e9ae5056 (patch) | |
| tree | a8ace7d44e071f4d77de9b300855f8d9687cee86 /file_loader.h | |
| parent | 8ff80b09ccd7e680829d0911d965ad4b0d6f7939 (diff) | |
Cleaned up and simplified global state setting stuff (e.g. --verbose)
Diffstat (limited to 'file_loader.h')
| -rw-r--r-- | file_loader.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/file_loader.h b/file_loader.h index 91480b2..cfe8701 100644 --- a/file_loader.h +++ b/file_loader.h @@ -17,7 +17,8 @@ typedef struct file_s { unsigned int mmapped:1; } file_t; -file_t *load_file(file_t **files, const char *filename); +__attribute__((format(printf,2,3))) +file_t *load_file(file_t **files, const char *fmt, ...); __attribute__((nonnull(3), returns_nonnull)) file_t *spoof_file(file_t **files, const char *filename, const char *text); __attribute__((nonnull)) @@ -30,7 +31,7 @@ __attribute__((pure, nonnull)) size_t get_char_number(file_t *f, const char *p); __attribute__((pure, nonnull)) const char *get_line(file_t *f, size_t line_number); -__attribute__((nonnull(1,2,3), format(printf, 5, 6))) +__attribute__((nonnull(1,2,3), format(printf,5,6))) void fprint_line(FILE *dest, file_t *f, const char *start, const char *end, const char *fmt, ...); #endif |