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