aboutsummaryrefslogtreecommitdiff
path: root/libs/tool
diff options
context:
space:
mode:
authorLeah Rowe <info@minifree.org>2017-05-30 04:36:00 +0000
committerGogs <gogitservice@gmail.com>2017-05-30 04:36:00 +0000
commit83fa8757681976e8238fcae848864c4cfab738aa (patch)
tree70a67814e3f02e2d905812c89d9ab3f78cc9a1dc /libs/tool
parent41e9655b04cae6c6b05ad435df29e42653381cfc (diff)
parent10aa44585ed4dd1495f47229daa2db4831694c9c (diff)
downloadlibrebootfr-83fa8757681976e8238fcae848864c4cfab738aa.tar.gz
librebootfr-83fa8757681976e8238fcae848864c4cfab738aa.zip
Merge branch 'build-system-merge' of kragle/libreboot into master
Diffstat (limited to 'libs/tool')
-rwxr-xr-xlibs/tool9
1 files changed, 3 insertions, 6 deletions
diff --git a/libs/tool b/libs/tool
index 6bf57be1..3a9c4a1b 100755
--- a/libs/tool
+++ b/libs/tool
@@ -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() {