changeset 1294:7610a61eaac1 tooling/benchmarks

Add missing file
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Thu, 23 Mar 2023 06:57:14 +0100
parents f19c51ddbd72
children 8e5d4ddf7afd
files benchmark/make.jl
diffstat 1 files changed, 13 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/benchmark/make.jl	Thu Mar 23 06:57:14 2023 +0100
@@ -0,0 +1,13 @@
+if "--rev" ∈ ARGS
+    i = findlast(==("--rev"), ARGS)
+    args = parse(Int,ARGS[i+1])
+elseif ("--target","--baseline") ∈ ARGS
+    i = findlast(==("--target"), ARGS)
+    j = findlast(==("--baseline"), ARGS)
+    args = (ARGS[i+1],ARGS[j+1])
+else
+    args = ()
+end
+
+include("benchmark_utils.jl")
+main(args...)
\ No newline at end of file