diff options
Diffstat (limited to 'scripts/patchfns.in')
-rw-r--r-- | scripts/patchfns.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/patchfns.in b/scripts/patchfns.in index 1148c97..dd8b821 100644 --- a/scripts/patchfns.in +++ b/scripts/patchfns.in @@ -43,13 +43,15 @@ quote_re() basename() { - local path="${1%%/}" + local path="${1//\/\//}" + path="${path%%/}" echo "${path##*/}" } dirname() { - local path="${1%%/}" + local path="${1//\/\//}" + path="${path%%/}" local basename="${path##*/}" path="${path:0:${#path}-${#basename}}" [ x"$path" != x"/" ] && path="${path%/}" |