# HG changeset patch
# User Pierre-Yves David <pierre-yves.david@octobus.net>
# Date 1533144967 -7200
#      Wed Aug 01 19:36:07 2018 +0200
# Node ID 5f8c512d8e21b36bc261d582eada3b1551435a56
# Parent  9b61422e20b1ad1085719c7a23de93abe70944e9
launch: properly escape the target argument

Otherwise, space in the first argument will cause toubles.

diff --git a/launch.sh b/launch.sh
--- 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