diff options
Diffstat (limited to 'support/scripts/mirror.sh')
-rw-r--r-- | support/scripts/mirror.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/support/scripts/mirror.sh b/support/scripts/mirror.sh index 4b6a0df60b..64848ed538 100644 --- a/support/scripts/mirror.sh +++ b/support/scripts/mirror.sh @@ -39,6 +39,7 @@ function mirror-files() { } function mirror() { + local program="$FUNCNAME"; local version='$Revision$'; local prefix="."; local owner=""; @@ -47,15 +48,15 @@ function mirror() { local preserve="false"; local -a files; - args-loop "$FUNCNAME" "$@"; + args-loop "$@"; if [ ! -d "$prefix" ]; then - abort "$FUNCNAME: could not find directory \`$prefix'"; + abort "could not find directory '$prefix'"; fi; local count="${#files[@]}"; if [ $count -lt 1 ]; then - abort "$FUNCNAME: missing target directory"; + abort "missing target directory"; fi; local -a instargs; |