tree f2959c0035fd5868cecc5f99f0ede2fa5290f64c
parent 533274a2d359ac9e09aea9f56ae21479c4b6f299
author Lukacs T. Berki <lberki@google.com> 1615369393 +0100
committer Lukacs T. Berki <lberki@google.com> 1615369393 +0100

Print a correct error message when a non-hermetic tool is not found.

The old error message was wrong because this message is emitted
specifically when a non-hermetic tool is not found.

Test: Manual ("m nothing")
Change-Id: I857c1c2bb059aff894e8bd3dd0c09b030c82035d