26 Apr
2013
26 Apr
'13
6:50 p.m.
2013/4/26 Hans Hagen
On 4/26/2013 5:34 PM, Cecil Westerhof wrote:
I am using a command line parameter to change the generated output. Is it also possible to set the output file name depending on the parameter?
--result=somename
That is on the command line. Then you need to give two parameters. Not a very big problem, but I would prefer one parameter. I like DRY. Less that can go wrong. -- Cecil Westerhof