diff --git a/perf/runbenchmarks.jl b/perf/runbenchmarks.jl index 8d9f9d3a9c..72d8b1e76a 100644 --- a/perf/runbenchmarks.jl +++ b/perf/runbenchmarks.jl @@ -50,4 +50,5 @@ results["latency"] = latency_results results["integration"] = integration_results # write out the results -BenchmarkTools.save("benchmarkresults.json", median(results)) +result_file = length(ARGS) >= 1 ? ARGS[1] : "benchmarkresults.json" +BenchmarkTools.save(result_file, median(results))