diff options
| author | varac <varacanero@zeromail.org> | 2017-04-09 12:06:40 +0200 |
|---|---|---|
| committer | drebs <drebs@leap.se> | 2017-07-03 14:19:57 -0300 |
| commit | 1110b073c4150aa4d55ee4821d5fc7b1616f1bfc (patch) | |
| tree | 14ffc15fd05a5558b3f17e2247c845ad4238e622 | |
| parent | a9ac14f5d9214ad5357474f3427e591d62d7e7ea (diff) | |
[test] 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 |