diff benchmark/make.jl @ 1858:4a9be96f2569 feature/documenter_logo

Merge default
author Jonatan Werpers <jonatan@werpers.com>
date Sun, 12 Jan 2025 21:18:44 +0100
parents 6ae2ec4cef5a
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/benchmark/make.jl	Sun Jan 12 21:18:44 2025 +0100
@@ -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)