generate-*: add missing flag to help()

diff --git a/orc/generate-bytecode.c b/orc/generate-bytecode.c
index 995d76b..db583d2 100644 (file)
--- 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 (file)
--- 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);