diff options
| -rwxr-xr-x | benchmark-all-commits.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/benchmark-all-commits.sh b/benchmark-all-commits.sh index 907ec280..aec50e3f 100755 --- a/benchmark-all-commits.sh +++ b/benchmark-all-commits.sh @@ -12,7 +12,10 @@ # # - Error handling. This script is dump and will run forever. -set -e +# Too many commits just fail for different reasons, +# so we just benchmark thoses that succeed. +#set -e + #rm -rf testing/.tox |