# HG changeset patch
# User Pierre-Yves David <pierre-yves.david@octobus.net>
# Date 1533131625 -7200
#      Wed Aug 01 15:53:45 2018 +0200
# Node ID fe964af501774c08661193dee067007afc003982
# Parent  d4d98fadeb2227b8253387ddc8508988eee8c37c
launch: allow to pass extra parameters to asv

diff --git a/launch.sh b/launch.sh
--- a/launch.sh
+++ b/launch.sh
@@ -21,8 +21,12 @@
 
 python create_skip_file.py
 
+
+target="${1-1.9:: and tagged()}"
+shift
+
 # 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