More thorough check for required tools
commitfe159c7f3fbeebcd1a8fae42444ac0be6e3b48b7
authorVojtech Horky <vojtech.horky@gmail.com>
Sat, 2 Mar 2024 18:10:17 +0000 (2 19:10 +0100)
committerVojtech Horky <vojtech.horky@gmail.com>
Sat, 2 Mar 2024 18:10:17 +0000 (2 19:10 +0100)
tree7781269daf51997869fbf47b1930e211dce1dc32
parentca7784fd2321e87bf1c8bb9684fe2577dbbf5edc
More thorough check for required tools
build.py