Setting up gcc 11 as an alternative

We're not going to release this just yet. Minor convenience change that we'll fold into ts.9 when it goes out.
OpenCyphal · Jun 1, 2024 · 505b590 · 505b590
1 parent 35875ac
commit 505b590
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/toolshed/Dockerfile b/toolshed/Dockerfile
@@ -123,7 +123,8 @@ FROM doxygen AS gcc-select
 WORKDIR /tmp
 
 ADD gcc-select.sh ./gcc-select.sh
-RUN ./gcc-select.sh 12
+RUN ./gcc-select.sh 11 1
+RUN ./gcc-select.sh 12 99
 RUN update-alternatives --display gcc
 
 # LEAVE THE WORKDIR AS /repo

diff --git a/toolshed/gcc-select.sh b/toolshed/gcc-select.sh
@@ -18,7 +18,7 @@ setup_gcc_alternatives()
     update-alternatives ${cmdln}
 }
 
-GCC_ALTERNATIVES_PRI=99
+GCC_ALTERNATIVES_PRI=${2}
 GCC_ALTERNATIVES_PATH="/usr/bin/"
 
 # setup gcc group