diff options
author | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2012-07-26 11:43:04 +0200 |
---|---|---|
committer | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2012-07-26 11:55:00 +0200 |
commit | 6c734305a9bad126b38c1235c0ef629c3137769b (patch) | |
tree | 8eb2379165efc95ebd240c3b34d7456a635b22ff /test/benchmarks/source.list | |
parent | 9e04e2365a7210f7e671137d8f70e475688b0885 (diff) | |
download | scala-6c734305a9bad126b38c1235c0ef629c3137769b.tar.gz scala-6c734305a9bad126b38c1235c0ef629c3137769b.tar.bz2 scala-6c734305a9bad126b38c1235c0ef629c3137769b.zip |
Fix `Instrumentation.getStatistics` method in partest.
The previous implementation was wrong because it
would always enable profiling after call to
`Instrumenation.getStatistics` method. Now we are
checking the profiling status and enable it again
only when it was enabled before.
Review by @phaller.
Diffstat (limited to 'test/benchmarks/source.list')
0 files changed, 0 insertions, 0 deletions