Update tools/docker/Dockerfile

Co-authored-by: Gerasimos Chourdakis <makishourdakis@gmail.com>
precice · Jul 20, 2023 · 5535fbc · 5535fbc
1 parent 675eab1
commit 5535fbc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile
@@ -6,7 +6,7 @@ ARG OPENFOAM_EXECUTABLE=openfoam2112
 # Install OpenFOAM
 RUN apt-get update &&\
     wget -q -O - https://dl.openfoam.com/add-debian-repo.sh | bash &&\
-    apt-get -qq install $OPENFOAM_EXECUTABLE-dev git
+    apt-get -qq install ${OPENFOAM_EXECUTABLE}-dev git
 
 ARG OPENFOAM_ADAPTER_REF=develop
 # Build the OpenFOAM adapter