diff options
Diffstat (limited to 'etc/bench.pl.in')
| -rwxr-xr-x | etc/bench.pl.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/bench.pl.in b/etc/bench.pl.in index 2f669091..292041dc 100755 --- a/etc/bench.pl.in +++ b/etc/bench.pl.in @@ -954,9 +954,11 @@ EOF bench: main \t./main \$(BENCHFLAGS) | tee -a README.md +# Link the bench cases in a different order to run the bench case in a +# different order. .PHONY: rand rand: -\t-rm main \$(OBJECTS) +\t-rm main \tmake bench OBJECTS="\$\$(shuf -e \$(OBJECTS) | xargs)" EOF |