clean mingw build dir to free up space

This commit is contained in:
einliterflasche 2025-11-19 11:17:32 +01:00
parent 965308ba26
commit d87eba098e
No known key found for this signature in database
GPG key ID: 90676A9B07184BC9

View file

@ -417,4 +417,7 @@ setup_path
verify_installation verify_installation
echo "Cleaning up build directory"
rm -rf "$BUILD"
echo "Done" echo "Done"