--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/benchmark/make.jl	Sun May 21 20:48:46 2023 +0200
@@ -0,0 +1,21 @@
+rev = nothing
+baseline = nothing
+target = nothing
+
+if "--rev" ∈ ARGS
+    i = findlast(==("--rev"), ARGS)
+    rev = ARGS[i+1]
+end
+
+if "--target" ∈ ARGS
+    i = findlast(==("--target"), ARGS)
+    target = ARGS[i+1]
+end
+
+if "--baseline" ∈ ARGS
+    i = findlast(==("--baseline"), ARGS)
+    baseline = ARGS[i+1]
+end
+
+include("benchmark_utils.jl")
+main(;rev, target, baseline)