@b4n commented on this pull request.
fi
done - rmdir mingw32 + rmdir mingw64 + fi +} + +delayed_post_install() { + if [ "$run_pi" ]; then + echo "Execute delayed post install tasks" + # Commands have been collected manually from the various .INSTALL scripts
Ouch. OK then, makes sense and it seems actually *more* reliable that way.