diff options
Diffstat (limited to 'travis-ci/managers/fuzzbuzz.sh')
| -rwxr-xr-x | travis-ci/managers/fuzzbuzz.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/travis-ci/managers/fuzzbuzz.sh b/travis-ci/managers/fuzzbuzz.sh index ee912db322..0080b065d8 100755 --- a/travis-ci/managers/fuzzbuzz.sh +++ b/travis-ci/managers/fuzzbuzz.sh @@ -36,4 +36,4 @@ sudo mount --bind "$REPO_ROOT" "$t" # helper.py is wrapped in script to trick it into thinking it's "interactive" # See https://github.com/systemd/systemd/pull/12542#issuecomment-491563572 sudo script -e -c "./infra/helper.py build_fuzzers --clean --sanitizer=memory systemd $t" -sudo script -e -c "./infra/helper.py check_build --sanitizer=memory systemd" +sudo script -e -c "./infra/helper.py check_build --sanitizer=memory -e ALLOWED_BROKEN_TARGETS_PERCENTAGE=0 systemd" |