mirror of
https://github.com/moparisthebest/curl
synced 2024-12-21 15:48:49 -05:00
make sure the found tool is a regular file (and not a dir or something)
This commit is contained in:
parent
f21bc46e82
commit
a214af0830