diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-02-03 17:05:10 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-02-03 17:05:10 +0100 |
| commit | 16829831dcf417d7af409ecdd965b59b886921cd (patch) | |
| tree | c6201ffc3b160f8022922e2caecacf36e1b119c5 /src/dotty/tools/dotc/core | |
| parent | 01fc1813929bfea3235bb0739131f675f57c7309 (diff) | |
| download | dotty-16829831dcf417d7af409ecdd965b59b886921cd.tar.gz dotty-16829831dcf417d7af409ecdd965b59b886921cd.tar.bz2 dotty-16829831dcf417d7af409ecdd965b59b886921cd.zip | |
New benchmark class that allows tuning for #compilers and #runs
by command line options like
#compilers 3 #runs 10
This would create one after another 3 compiler instances and perform 10 runs in each.
Diffstat (limited to 'src/dotty/tools/dotc/core')
0 files changed, 0 insertions, 0 deletions