diff --git a/scripts/docker-install-phase5.bash b/scripts/docker-install-phase5.bash index df1d9f0..c7ad8db 100755 --- a/scripts/docker-install-phase5.bash +++ b/scripts/docker-install-phase5.bash @@ -145,6 +145,10 @@ metals -version /dev/null -make || true -mv snobol4 /usr/bin/snobol4 -popd >/dev/null -rm -rf snobol4-* - popd >/dev/null rm "$0"