diff options
author | varac <varacanero@zeromail.org> | 2017-04-09 12:06:40 +0200 |
---|---|---|
committer | Kali Kaneko <kali@leap.se> | 2017-07-07 21:25:10 +0200 |
commit | 15da6fa34b4f26b3d1a1af76c0bbd70915f519cd (patch) | |
tree | c6172bdeb98832d3c29a2e2499d19393375a4280 | |
parent | d6c0e30e7758737e3fd16b90c3cc8f9d572f20ce (diff) |
[benchmarks] Ignore failed commits
-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 |