build: update gcov alternative (#133)

open-space-collective · Jul 18, 2024 · 63f54e5 · 63f54e5
1 parent 2f07f44
commit 63f54e5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docker/development/Dockerfile b/docker/development/Dockerfile
@@ -74,7 +74,8 @@ RUN add-apt-repository ppa:ubuntu-toolchain-r/test \
    && apt-get update \
    && apt-get install -y gcc-13 g++-13 \
    && update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-13 100 \
-   && update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-13 100
+   && update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-13 100 \
+   && update-alternatives --install /usr/bin/gcov gcov /usr/bin/gcov-13 130
 
 ## Python