From ad28552b30ef1535a02e43c19a9f3cd9bbb9c96c Mon Sep 17 00:00:00 2001 From: Dennis Luxen Date: Tue, 7 May 2024 20:54:56 +0200 Subject: [PATCH] Add forgotten file. D'oh! --- .github/workflows/osrm-backend.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/osrm-backend.yml b/.github/workflows/osrm-backend.yml index fd2c380b7..032ed8603 100644 --- a/.github/workflows/osrm-backend.yml +++ b/.github/workflows/osrm-backend.yml @@ -389,7 +389,7 @@ jobs: # We can only set this after checkout once we know the workspace directory echo "LSAN_OPTIONS=print_suppressions=0:suppressions=${GITHUB_WORKSPACE}/scripts/ci/leaksanitizer.conf" >> $GITHUB_ENV echo "UBSAN_OPTIONS=symbolize=1:halt_on_error=1:print_stacktrace=1:suppressions=${GITHUB_WORKSPACE}/scripts/ci/undefinedsanitizer.conf" >> $GITHUB_ENV - echo "ASAN_OPTION="print_suppressions=0:suppressions=${GITHUB_WORKSPACE}/scripts/ci/addressanitizer.conf" >> $GITHUB_ENV + echo "ASAN_OPTION="print_suppressions=0:suppressions=${GITHUB_WORKSPACE}/scripts/ci/addresssanitizer.conf" >> $GITHUB_ENV fi if [[ "${RUNNER_OS}" == "Linux" ]]; then