diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-05-16 10:03:08 +0200 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-05-16 10:00:47 +0200 |
commit | fad09b703f5c6d8524a09eef771eb4525f9f3225 (patch) | |
tree | 91f3da0f5b3c3b2b53e24a2588534acc040b075c /ci | |
parent | d7700d3a26478d9b1648463c188648c7047b1c60 (diff) |
ci: Remove unused errtrace trap ERR
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 3cdec2a37a..361ac4e3c4 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 |