diff options
Diffstat (limited to 'orc/generate-bytecode.c')
| -rw-r--r-- | orc/generate-bytecode.c | 1 |
1 files changed, 1 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); |