diff options
author | Leah Rowe <info@minifree.org> | 2017-05-30 04:36:00 +0000 |
---|---|---|
committer | Gogs <gogitservice@gmail.com> | 2017-05-30 04:36:00 +0000 |
commit | 83fa8757681976e8238fcae848864c4cfab738aa (patch) | |
tree | 70a67814e3f02e2d905812c89d9ab3f78cc9a1dc /libs/tool | |
parent | 41e9655b04cae6c6b05ad435df29e42653381cfc (diff) | |
parent | 10aa44585ed4dd1495f47229daa2db4831694c9c (diff) | |
download | librebootfr-83fa8757681976e8238fcae848864c4cfab738aa.tar.gz librebootfr-83fa8757681976e8238fcae848864c4cfab738aa.zip |
Merge branch 'build-system-merge' of kragle/libreboot into master
Diffstat (limited to 'libs/tool')
-rwxr-xr-x | libs/tool | 9 |
1 files changed, 3 insertions, 6 deletions
@@ -44,16 +44,13 @@ tool_helper_include() { } tool_check() { - local tool=$1 + local tool="${1##*/}" - local tool_path=$( tool_path "$tool" ) + local tool_path="$(tool_path "${tool}")" - if ! [ -f "$tool_path/$tool" ] - then + if ! [[ -f "${tool_path}/${tool}" ]]; then return 1 fi - - return 0 } tool_function_check() { |