view benchmark/make.jl @ 1489:7753fa972c74 update/julia_1.10

Update docs manifest to julia 1.10 and fix issues in make docs
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Fri, 29 Dec 2023 01:06:54 +0100
parents 6ae2ec4cef5a
children
line wrap: on
line source

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)