diff options
| author | paltherr <paltherr@epfl.ch> | 2003-10-23 06:56:52 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-10-23 06:56:52 +0000 |
| commit | fa860129191cbb88541d069ba014d2c5237e1d54 (patch) | |
| tree | fedba27ef1310462535be8d197e69a6bd8348848 /support/scripts/mirror.sh | |
| parent | 1e58e5873daf41c29b342426de3fc221a8d1d0d9 (diff) | |
| download | scala-fa860129191cbb88541d069ba014d2c5237e1d54.tar.gz scala-fa860129191cbb88541d069ba014d2c5237e1d54.tar.bz2 scala-fa860129191cbb88541d069ba014d2c5237e1d54.zip | |
- Improved stdlib.sh
- Adapted install.sh & mirror.sh
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; |