Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

CI: Fix the ThreadSanitizer build

Browse source
This commit is contained in:
Tim Wojtulewicz 2022-04-19 10:04:34 -07:00
parent cdadc32985
commit 885ed71464
3 changed files with 53 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ci/test.sh
View file

@ -19,6 +19,10 @@ fi
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" &>/dev/null && pwd)"
. ${SCRIPT_DIR}/common.sh
if [ -n "${ZEEK_TSAN_OPTIONS}" ]; then
export TSAN_OPTIONS=${ZEEK_TSAN_OPTIONS}
fi
function pushd {
command pushd "$@" >/dev/null || exit 1
}