diff options
Diffstat (limited to 'scripts/addToolVersion.sh')
| -rwxr-xr-x | scripts/addToolVersion.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/addToolVersion.sh b/scripts/addToolVersion.sh index b71ee9ae..876d4e24 100755 --- a/scripts/addToolVersion.sh +++ b/scripts/addToolVersion.sh @@ -5,7 +5,12 @@ set -e myname="$0" # Parse the tools' paths configuration -. "paths.mk" +# It is expected that this script is only to be run from the +# source directory of crosstool-NG, so it is trivial to find +# paths.mk (we can't use ". paths.mk", as POSIX states that +# $PATH should be searched for, and $PATH most probably doe +# not include "."), hence the "./". +. "./paths.mk" doHelp() { cat <<-EOF |