In the former case, the presence of tools is optional, but triggers a warning and then no-ops the target. In the latter case, the presence of the tools is mandatory. But if it was already looked up and discovered to be missing, we did not actually check that it is found before trying to use it. In the case that it isn't found, check again, so that we explicitly error out with a relevant error message due to setting the required flag. Fixes #10320pull/10365/head
parent
34da721ec2
commit
de2c091ba6
1 changed files with 1 additions and 1 deletions
Loading…
Reference in new issue