diff options
author | Andrew Robbins <contact@andrewrobbins.info> | 2017-05-27 23:35:53 -0400 |
---|---|---|
committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-05-29 23:35:10 -0400 |
commit | 10aa44585ed4dd1495f47229daa2db4831694c9c (patch) | |
tree | 70a67814e3f02e2d905812c89d9ab3f78cc9a1dc /libs/tool | |
parent | 41e9655b04cae6c6b05ad435df29e42653381cfc (diff) | |
download | librebootfr-10aa44585ed4dd1495f47229daa2db4831694c9c.tar.gz librebootfr-10aa44585ed4dd1495f47229daa2db4831694c9c.zip |
Fixed project_check() and tool_check().
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() { |