I would like to setup a script that will let me run ECJ many times with
different settings, and collect data from each run into ONE file. I would like
to know how I can setup a statistics file that will simply add to a file (such
as out.stat). By default, ECJ will create a new out.stat file every time it is
ran. I would like it to instead add to the out.stat file every time ECJ is ran.
Thanks for your help.