ci: learning sh...

Kitware · Dec 12, 2023 · be0334c · be0334c
1 parent 3361429
commit be0334c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/Dockerfile.pip b/docker/Dockerfile.pip
@@ -15,7 +15,7 @@ RUN apt-get update && \
     rm -rf /var/lib/apt/lists/*
 
 # Set python3 to python3.x (otherwise, it will be python3.8)
-RUN if [[ "$PYTHON_VERSION" = "3"]] ; then echo Skip python3 override ; else update-alternatives --install /usr/bin/python3 python3 /usr/bin/python${PYTHON_VERSION} 1; fi
+RUN if [ "$PYTHON_VERSION" = "3"] ; then echo Skip python3 override ; else update-alternatives --install /usr/bin/python3 python3 /usr/bin/python${PYTHON_VERSION} 1; fi
 
 # Never use a cache directory for pip, both here in this Dockerfile
 # and when we run the container.