changeset 1316:8e5d4ddf7afd tooling/benchmarks

Merge
author Jonatan Werpers <jonatan@werpers.com>
date Thu, 27 Apr 2023 16:12:13 +0200
parents 0551fd71682f (current diff) 7610a61eaac1 (diff)
children 7110851b9c87
files
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 Apr 27 16:12:13 2023 +0200
@@ -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