diff --git a/launch.sh b/launch.sh index 9b61422e20b1ad1085719c7a23de93abe70944e9_bGF1bmNoLnNo..5f8c512d8e21b36bc261d582eada3b1551435a56_bGF1bmNoLnNo 100755 --- a/launch.sh +++ b/launch.sh @@ -31,7 +31,7 @@ shift # Launch asv -time taskset -c 2,3 asv run --show-stderr --skip-existing-successful ${target} "$@" +time taskset -c 2,3 asv run --show-stderr --skip-existing-successful "${target}" "$@" # Publish results asv publish --no-pull