tree 26215ddfe8f1413df66e57c25b664fc202ff8113
parent cb587009d679812dc27979c867cdc0e056a132e6
author Andres AG <andres.amayagarcia@arm.com> 1485882285 +0000
committer Andres AG <andres.amayagarcia@arm.com> 1485882285 +0000

Fix all.sh check_tools function to handle paths