diff --git a/build-docker.sh b/build-docker.sh index c99ea0a0..4ed73dc4 100644 --- a/build-docker.sh +++ b/build-docker.sh @@ -15,6 +15,8 @@ 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." + rm compilers_latest.zip + rm -r compilers_temp 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/