diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/test/06_script_b.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/ci/test/06_script_b.sh b/ci/test/06_script_b.sh index e54dc14191..075685ee8d 100755 --- a/ci/test/06_script_b.sh +++ b/ci/test/06_script_b.sh @@ -104,9 +104,6 @@ cd "${BASE_BUILD_DIR}/bitcoin-$HOST" bash -c "./configure --cache-file=../config.cache $BITCOIN_CONFIG_ALL $BITCOIN_CONFIG" || ( (cat config.log) && false) -set -o errtrace -trap 'bash -c "cat ${BASE_SCRATCH_DIR}/sanitizer-output/* 2> /dev/null"' ERR - if [[ ${USE_MEMORY_SANITIZER} == "true" ]]; then # MemorySanitizer (MSAN) does not support tracking memory initialization done by # using the Linux getrandom syscall. Avoid using getrandom by undefining |