diff --git a/etc/bench.pl.in b/etc/bench.pl.in index 669e013c..b7d44f41 100755 --- a/etc/bench.pl.in +++ b/etc/bench.pl.in @@ -949,6 +949,10 @@ EOF bench: main \t./main \$(BENCHFLAGS) | tee -a README.md +.PHONY: rand +rand: +\t-rm main \$(OBJECTS) +\tmake bench OBJECTS="\$\$(shuf -e \$(OBJECTS) | xargs)" EOF my @obj = (); @@ -971,8 +975,9 @@ BENCHMARK_MAIN(); EOF print $makefile <