# HG changeset patch
# User Boris Feld <boris.feld@octobus.net>
# Date 1501488194 -7200
#      Mon Jul 31 10:03:14 2017 +0200
# Node ID 1ec4e198eba2ef4ae3e018057c433b323245c3e4
# Parent  aa89cd6e4de373380cafabf5a27d002726dc5687
Update launch.sh to match prod

diff --git a/launch.sh b/launch.sh
--- a/launch.sh
+++ b/launch.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -euo pipefail
+set -euox pipefail
 
 # Ensure asv now machine characteristics
 asv machine --yes
@@ -11,7 +11,7 @@
 python prepare_repos.py
 
 # Launch asv
-taskset -c 2,3 asv run --show-stderr --skip-existing-successful --steps 10 "NEW"
+time taskset -c 2,3 asv run --show-stderr --skip-existing-successful "${1-tagged()}"
 
 # Publish results
 asv publish