diff options
| author | Adam Borowski <kilobyte@angband.pl> | 2013-03-11 14:25:59 +0100 |
|---|---|---|
| committer | Adam Borowski <kilobyte@angband.pl> | 2013-03-11 14:28:40 +0100 |
| commit | c67978d77b9089fa84f6d738b1de47fdbce59751 (patch) | |
| tree | 828c9c60880e81fee509a2d06b0d3627e7a3db38 /crawl-ref/source/test | |
| parent | f655073a526ccf4dc96507aa5b9352826cd10b51 (diff) | |
| download | crawl-ref-c67978d77b9089fa84f6d738b1de47fdbce59751.tar.gz crawl-ref-c67978d77b9089fa84f6d738b1de47fdbce59751.zip | |
Print timing output for test/stress/timeall to STDERR rather than STDOUT.
This allows redirecting the results. Usually you'll want to put STDOUT to
/dev/null, too (perhaps we should to that always?).
Diffstat (limited to 'crawl-ref/source/test')
| -rwxr-xr-x | crawl-ref/source/test/stress/timeall | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crawl-ref/source/test/stress/timeall b/crawl-ref/source/test/stress/timeall index f55cfbc734..8703990b83 100755 --- a/crawl-ref/source/test/stress/timeall +++ b/crawl-ref/source/test/stress/timeall @@ -24,5 +24,5 @@ for $test (@TESTS) $results{$test} = $times[($NTRIES+1)/2]; } -print "Version: "; system("git describe 2>/dev/null || cat util/release_ver"); -printf "%s %10.2f\n", $_, $results{$_} for sort keys %results; +print STDERR "Version: "; system("git describe 2>/dev/null || cat util/release_ver"); +printf STDERR "%s %10.2f\n", $_, $results{$_} for sort keys %results; |