Support prefixes with args (#71)

Supersedes #48

Co-authored-by: Ian Butterworth <i.r.butterworth@gmail.com>
This commit is contained in:
Sascha Mann
2023-01-08 21:39:24 +01:00
committed by GitHub
parent c80d3075f7
commit 8d20cd78f8

View File

@@ -66,8 +66,8 @@ runs:
julia_cmd=( julia --color=yes --depwarn=${{ inputs.depwarn }} --inline=${{ inputs.inline }} --project=${{ inputs.project }} -e 'include(joinpath(ENV["GITHUB_ACTION_PATH"], "test_harness.jl"))' )
# Add the prefix in front of the command if there is one
prefix="${{ inputs.prefix }}"
[[ -n $prefix ]] && julia_cmd=( "$prefix" "${julia_cmd[@]}" )
prefix=( ${{ inputs.prefix }} )
[[ -n ${prefix[*]} ]] && julia_cmd=( "${prefix[@]}" "${julia_cmd[@]}" )
# Run the Julia command
"${julia_cmd[@]}"