9386a35e47
This patch fixes a problem: if a binary is not found, the script exits without a message informs what is needed (because of 'set -e'). Change-Id: I00b8917918f0e6eddf8506d6548432077eb4bf14