diff options
| -rw-r--r-- | orc/generate-bytecode.c | 1 | ||||
| -rw-r--r-- | orc/generate-emulation.c | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/orc/generate-bytecode.c b/orc/generate-bytecode.c index 995d76b..db583d2 100644 --- a/orc/generate-bytecode.c +++ b/orc/generate-bytecode.c @@ -34,6 +34,7 @@ void help (void) printf("\n"); printf("Application Options:\n"); printf(" -o, --output FILE Write output to FILE\n"); + printf(" --header FILE Write header to FILE\n"); printf("\n"); exit (0); diff --git a/orc/generate-emulation.c b/orc/generate-emulation.c index f375c04..2a79990 100644 --- a/orc/generate-emulation.c +++ b/orc/generate-emulation.c @@ -35,6 +35,7 @@ void help (void) printf("\n"); printf("Application Options:\n"); printf(" -o, --output FILE Write output to FILE\n"); + printf(" --header FILE Write header to FILE\n"); printf("\n"); exit (0); |