diff --git a/launch.sh b/launch.sh index d4d98fadeb2227b8253387ddc8508988eee8c37c_bGF1bmNoLnNo..fe964af501774c08661193dee067007afc003982_bGF1bmNoLnNo 100755 --- a/launch.sh +++ b/launch.sh @@ -21,4 +21,8 @@ python create_skip_file.py + +target="${1-1.9:: and tagged()}" +shift + # Launch asv @@ -24,5 +28,5 @@ # Launch asv -time taskset -c 2,3 asv run --show-stderr --skip-existing-successful "${1-1.9:: and tagged()}" +time taskset -c 2,3 asv run --show-stderr --skip-existing-successful ${target} $@ # Publish results asv publish --no-pull