diff --git a/containerize.bash b/containerize.bash index 42c4985ec8b97d584d2bffdf93e9a297e08dc986..1c004c8695c4ed915da4312b95cc1bdfcac4d9fe 100755 --- a/containerize.bash +++ b/containerize.bash @@ -41,8 +41,7 @@ read -r -d '' COMPILATION_LAYER <<-EOF #---- Compilation ---------------------------------------------------------- # Get source code. cd /opt - git clone --recursive https://gitlab.mbb.univ-montp2.fr/ibonnici/${REPO} \ - --branch c-implementation + git clone --recursive https://gitlab.mbb.univ-montp2.fr/ibonnici/${REPO} cd ${REPO} # Compile