diff options
Diffstat (limited to 'infra/base-images/base-builder/compile')
| -rwxr-xr-x | infra/base-images/base-builder/compile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infra/base-images/base-builder/compile b/infra/base-images/base-builder/compile index 08981315..434f526f 100755 --- a/infra/base-images/base-builder/compile +++ b/infra/base-images/base-builder/compile @@ -33,8 +33,8 @@ then fi # Coverage flag overrides. -COVERAGE_FLAGS_VAR="COVERAGE_FLAGS_$SANITIZER" -if [[ -n ${!COVERAGE_FLAGS_VAR-} ]] +COVERAGE_FLAGS_VAR="COVERAGE_FLAGS_${SANITIZER}" +if [[ -n ${!COVERAGE_FLAGS_VAR+x} ]] then export COVERAGE_FLAGS="${!COVERAGE_FLAGS_VAR}" fi |