generate-*: cosmetic changes
authorStefan Sauer <ensonic@users.sf.net>
Wed, 29 May 2013 08:30:16 +0000 (10:30 +0200)
committerStefan Sauer <ensonic@users.sf.net>
Wed, 29 May 2013 08:30:16 +0000 (10:30 +0200)
commit7951525fa5bcf8914cd1e1d314497ddd5a5c18ce
treec325f359ca37eb0ede39b9bc1c41de10a972c7a3
parent17ea4116edbb26a6a5dcfd1746e587a166a274cf
generate-*: cosmetic changes

Print the file name if we use the default. Consider the header_flag for the
default name. Correct the help() desc for the --header flag (it takes no arg).
orc/generate-bytecode.c
orc/generate-emulation.c