diff options
Diffstat (limited to 'scripts/patch-renumber.sh')
-rwxr-xr-x | scripts/patch-renumber.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/patch-renumber.sh b/scripts/patch-renumber.sh index 08ec1be..3604df5 100755 --- a/scripts/patch-renumber.sh +++ b/scripts/patch-renumber.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" doUsage() { cat <<_EOF_ |