annotate benchmark/make.jl @ 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
children 6ae2ec4cef5a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1294
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
1 if "--rev" ∈ ARGS
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
2 i = findlast(==("--rev"), ARGS)
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
3 args = parse(Int,ARGS[i+1])
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
4 elseif ("--target","--baseline") ∈ ARGS
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
5 i = findlast(==("--target"), ARGS)
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
6 j = findlast(==("--baseline"), ARGS)
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
7 args = (ARGS[i+1],ARGS[j+1])
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
8 else
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
9 args = ()
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
10 end
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
11
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
12 include("benchmark_utils.jl")
7610a61eaac1 Add missing file
Vidar Stiernström <vidar.stiernstrom@it.uu.se>
parents:
diff changeset
13 main(args...)