comparison: src/frontend.c
src/frontend.c
- changeset 82
- ce67b1b2e979
- parent 78
- 719e3c6d4c9b
equal
deleted
inserted
replaced
| 81:9e483a0e3f52 | 82:ce67b1b2e979 |
|---|---|
| 42 char* infilename; | 42 char* infilename; |
| 43 int showlinenumbers; | 43 int showlinenumbers; |
| 44 } Settings; | 44 } Settings; |
| 45 | 45 |
| 46 static int appendfile(const char *filename, FILE *fout, const char *errmsg) { | 46 static int appendfile(const char *filename, FILE *fout, const char *errmsg) { |
| 47 if (filename == NULL) return 0; // nothing to append | |
| 47 FILE *fin = fopen(filename, "r"); | 48 FILE *fin = fopen(filename, "r"); |
| 48 if (!fin) { | 49 if (!fin) { |
| 49 perror(errmsg); | 50 perror(errmsg); |
| 50 if (fout != stdout) { | 51 if (fout != stdout) { |
| 51 fclose(fout); | 52 fclose(fout); |
