diff options
author | Pete Johanson <peter@peterjohanson.com> | 2020-04-13 16:44:27 +0000 |
---|---|---|
committer | Florian Didron <fdidron@users.noreply.github.com> | 2020-06-12 17:00:27 +0900 |
commit | 27e43567d773f14ce5fee659b887775e26c06030 (patch) | |
tree | af4b21b4aac0ac826be4b92af32af04b3bbf75b3 /util/win_shared_install.sh | |
parent | 84562a44652bd736ddb58e929b37bdca63e2237f (diff) |
CLI: Use `shutil.which` to detect gmake, instead of OS check.
Diffstat (limited to 'util/win_shared_install.sh')
0 files changed, 0 insertions, 0 deletions