#32: try a fix in ci

DARMA-tasking · Jul 23, 2024 · 0a8a880 · 0a8a880
1 parent 03ff59b
commit 0a8a880
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/ci/docker/build-and-test.dockerfile b/ci/docker/build-and-test.dockerfile
@@ -11,13 +11,17 @@ COPY . /opt/src/vt-tv
 RUN mkdir -p /opt/build/vt-tv
 
 # Build
-FROM base as build
-RUN if [[ $CC == "gcc-11" ]]; \
-    then VT_TV_COVERAGE_ENABLED=ON; \ 
-    else VT_TV_COVERAGE_ENABLED=OFF; \
+FROM base AS build
+RUN if [[ $CC == "gcc-11" ]]; then \
+    VT_TV_COVERAGE_ENABLED=ON \ 
+    else VT_TV_COVERAGE_ENABLED=OFF \
     fi \
     /opt/src/vt-tv/ci/build.sh
 
+RUN export VT_TV_COVERAGE_ENABLED=OFF
+RUN if [[ $CC == "gcc-11" ]]; then VT_TV_COVERAGE_ENABLED=ON; fi
+RUN /opt/src/vt-tv/ci/build.sh
+
 # Unit tests
 FROM build AS test-cpp
 RUN bash /opt/src/vt-tv/ci/test_cpp.sh