diff --git a/build-docker.sh b/build-docker.sh index f4ee9cc8..0e3d8298 100644 --- a/build-docker.sh +++ b/build-docker.sh @@ -8,6 +8,13 @@ else exit 0 fi -mkdir compilers_temp && if [ -e /bin/unzip ]; then unzip compilers_latest.zip -d compilers_temp; else echo "You do not seem to have unzip installed on this system. Please install it to continue."; exit 1; fi +mkdir compilers_temp +if [ -e /bin/unzip ]; then + unzip compilers_latest.zip -d compilers_temp +else + echo "You do not seem to have unzip installed on this system. Please install it to continue." + exit 1 +fi mv compilers_temp/GC/1.2.5n/ tools/ && mv compilers_temp/GC/1.3.2/ tools/ && mv compilers_temp/GC/1.3.2r/ tools/ +rm -r compilers_temp compilers_latest.zip echo "Docker image setup is now complete. You may proceed with the instructions."