#32: remove undesired lines fro dockerfile

DARMA-tasking · Jul 23, 2024 · f9e9c9d · f9e9c9d
1 parent 0a8a880
commit f9e9c9d
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/ci/docker/build-and-test.dockerfile b/ci/docker/build-and-test.dockerfile
@@ -12,12 +12,6 @@ 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 \
-    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