diff options
Diffstat (limited to 'src/runtime/c/utils/pgf2yaml.c')
| -rw-r--r-- | src/runtime/c/utils/pgf2yaml.c | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/src/runtime/c/utils/pgf2yaml.c b/src/runtime/c/utils/pgf2yaml.c index 32029aa75..0d32bf3e3 100644 --- a/src/runtime/c/utils/pgf2yaml.c +++ b/src/runtime/c/utils/pgf2yaml.c @@ -4,11 +4,16 @@ #include <gu/file.h> #include <gu/utf8.h> -int main(void) { +int main(int argc, char* argv[]) { + if (argc != 1) { + fprintf(stderr, "usage: %s pgf\n", argv[0]); + return 1; + } + char* filename = argv[1]; + GuPool* pool = gu_new_pool(); GuExn* err = gu_exn(NULL, type, pool); - GuIn* in = gu_file_in(stdin, pool); - PgfPGF* pgf = pgf_read(in, pool, err); + PgfPGF* pgf = pgf_read(filename, pool, err); int status = 0; if (!gu_ok(err)) { fprintf(stderr, "Reading PGF failed\n"); |