diff options
author | Evgeny Vereshchagin <evvers@ya.ru> | 2019-06-15 01:16:07 +0200 |
---|---|---|
committer | Evgeny Vereshchagin <evvers@ya.ru> | 2019-06-15 05:19:58 +0200 |
commit | b5e1f0bdf4e9407819faeff4de763b8db4e714d3 (patch) | |
tree | c47b729dba351d32bbe5313eed3dff8a0af88c91 /travis-ci | |
parent | 5057d73ba1bb016c9325d0a7fdb84519d3443622 (diff) | |
download | systemd-b5e1f0bdf4e9407819faeff4de763b8db4e714d3.tar.gz |
travis: clean up bash variables a bit
in preparation for adding more ASan options
Diffstat (limited to 'travis-ci')
-rwxr-xr-x | travis-ci/managers/fuzzit.sh | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/travis-ci/managers/fuzzit.sh b/travis-ci/managers/fuzzit.sh index 94c994f5a2..8c081e4e41 100755 --- a/travis-ci/managers/fuzzit.sh +++ b/travis-ci/managers/fuzzit.sh @@ -24,18 +24,20 @@ export PATH="$HOME/.local/bin/:$PATH" export SANITIZER="address -fsanitize=bool,array-bounds,float-divide-by-zero,function,integer-divide-by-zero,return,shift,signed-integer-overflow,unsigned-integer-overflow,vla-bound,vptr -fno-sanitize-recover=bool,array-bounds,float-divide-by-zero,function,integer-divide-by-zero,return,shift,signed-integer-overflow,vla-bound,vptr" tools/oss-fuzz.sh -export FUZZING_TYPE=${1:-sanity} +FUZZING_TYPE=${1:-sanity} if [ "$TRAVIS_PULL_REQUEST" = "false" ]; then - export FUZZIT_BRANCH="${TRAVIS_BRANCH}" + FUZZIT_BRANCH="${TRAVIS_BRANCH}" else - export FUZZIT_BRANCH="PR-${TRAVIS_PULL_REQUEST}" + FUZZIT_BRANCH="PR-${TRAVIS_PULL_REQUEST}" fi # Because we want Fuzzit to run on every pull-request and Travis/Azure doesnt support encrypted keys # on pull-request we use a write-only key which is ok for now. maybe there will be a better solution in the future -export FUZZIT_API_KEY=7c1bd82fe0927ffe1b4bf1e2e86cc812b28dfe08a7080a7bf498e98715884a163402ee37ba95d4b1637247deffcea43e -export FUZZIT_ADDITIONAL_FILES="./out/src/shared/libsystemd-shared-242.so" -export FUZZIT_ARGS="--type ${FUZZING_TYPE} --branch ${FUZZIT_BRANCH} --revision ${TRAVIS_COMMIT} --asan_options quarantine_size_mb=10 --ubsan_options=print_stacktrace=1:print_summary=1:halt_on_error=1:silence_unsigned_overflow=1" +FUZZIT_API_KEY=7c1bd82fe0927ffe1b4bf1e2e86cc812b28dfe08a7080a7bf498e98715884a163402ee37ba95d4b1637247deffcea43e +FUZZIT_ADDITIONAL_FILES="./out/src/shared/libsystemd-shared-242.so" +ASAN_OPTIONS=quarantine_size_mb=10 +UBSAN_OPTIONS=print_stacktrace=1:print_summary=1:halt_on_error=1:silence_unsigned_overflow=1 +FUZZIT_ARGS="--type ${FUZZING_TYPE} --branch ${FUZZIT_BRANCH} --revision ${TRAVIS_COMMIT} --asan_options ${ASAN_OPTIONS} --ubsan_options ${UBSAN_OPTIONS}" wget -O fuzzit https://bin.fuzzit.dev/fuzzit-1.1 chmod +x fuzzit |