diff --git a/launch.sh b/launch.sh index 5c9facee9bd67981bffa7d97e5312defa19cbd53_bGF1bmNoLnNo..fdff9b6ce64161df2647ed6dfc2cbfcb73074426_bGF1bmNoLnNo 100755 --- 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}" "$@" +HGRCPATH= time taskset -c 2,3 asv run --show-stderr --skip-existing-successful "${target}" "$@" # Publish results asv publish --no-pull