mirror of
https://gitea.wildfiregames.com/0ad/0ad.git
synced 2026-07-07 01:47:16 +00:00
9770391bc4
Due to "set -e" the script terminates when the required tools aren't found and the arguably helpful messages later on won't be printed. Make the initial check for tools non fatal and allow for the later check to take care of missing tools. Signed-off-by: Ralph Sennhauser <ralph.sennhauser@gmail.com>