#32: try a fix

DARMA-tasking · Jul 23, 2024 · 2014f32 · 2014f32
1 parent f9e9c9d
commit 2014f32
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/ci/docker/build-and-test.dockerfile b/ci/docker/build-and-test.dockerfile
@@ -12,8 +12,7 @@ RUN mkdir -p /opt/build/vt-tv
 
 # Build
 FROM base AS build
-RUN export VT_TV_COVERAGE_ENABLED=OFF
-RUN if [[ $CC == "gcc-11" ]]; then VT_TV_COVERAGE_ENABLED=ON; fi
+RUN if [[ $CC == "gcc-11" ]]; then export VT_TV_COVERAGE_ENABLED=ON; fi
 RUN /opt/src/vt-tv/ci/build.sh
 
 # Unit tests