id,summary,reporter,owner,description,type,status,priority,milestone,component,version,severity,resolution,keywords,cc,lang,patch,platform
1398,pbc_to_exe should be able to specify the output files.,coke,,"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
",todo,closed,normal,,core,trunk,low,fixed,,,,,