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;