Ticket #1398 (closed todo: fixed)

Opened 3 years ago

Last modified 3 years ago

pbc_to_exe should be able to specify the output files.

Reported by: coke Owned by:
Priority: normal Milestone:
Component: core Version: trunk
Severity: low Keywords:
Cc: Language:
Patch status: Platform:

Description

Currently, pbc_to_exe uses the same name as the input PBC file; it would be helpful if there was a -o option that allowed you to specify the desired output name, something like: 

pbc_to_exe -o bar foo.pbc

Which would then generate bar.c, bar.o, bar/bar.exe

Change History

Changed 3 years ago by plobsing

  • status changed from new to closed
  • resolution set to fixed

-o and --output options were added to pbc_to_exe in r48660.

Note: See TracTickets for help on using tickets.