Skip to content

Commit

Permalink
CI: Fix check whether sanitizer can be used.
Browse files Browse the repository at this point in the history
The check in docker.run whether libasan and libubsan are available
did not work.

Signed-off-by: Juergen Repp <[email protected]>
  • Loading branch information
JuergenReppSIT authored and William Roberts committed Nov 8, 2022
1 parent 3a12e45 commit 10a5e22
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .ci/docker.run
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,7 @@ if [[ "$CC" == "gcc" && "$ENABLE_COVERAGE" == "true" ]]; then
export CONFIGURE_OPTIONS="$CONFIGURE_OPTIONS --enable-code-coverage";
fi

if [ ldconfig -p 2>/dev/null| grep libasan > /dev/null && ldconfig -p 2>/dev/null| grep libubsan > /dev/null ]; then
if ldconfig -p 2>/dev/null| grep libasan > /dev/null && ldconfig -p 2>/dev/null| grep libubsan > /dev/null; then
SANITIZER_OPTION="--with-sanitizer=undefined,address"
fi

Expand Down

0 comments on commit 10a5e22

Please sign in to comment.