summaryrefslogtreecommitdiff
path: root/utils
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-03-26 00:52:54 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-03-26 00:53:55 +0100
commita89bb489bfc0bb8d66f69e783b031b30233fdc82 (patch)
treee7ae9fd2a8a3528726b4f78515567e72abbdda8b /utils
parent8b36c84508e327fdb550642a76ad17e642797ddc (diff)
Fix remap invocation
* utils/remap.sh (REMAPPED): Default to empty. (while): Break as soon as there are no arguments any more. Do not break on mapping parameters
Diffstat (limited to 'utils')
-rw-r--r--utils/remap.sh6
1 files changed, 4 insertions, 2 deletions
diff --git a/utils/remap.sh b/utils/remap.sh
index 106109e8..d7997591 100644
--- a/utils/remap.sh
+++ b/utils/remap.sh
@@ -23,7 +23,9 @@
USAGE="Usage: $0 [OPTION...] [FROM1 TO1 [FROM2 TO2 [...]] -- [COMMAND...]"
DOC="Execute COMMAND in an environment where some paths are remapped."
-while :; do
+REMAPPED=""
+
+while [ "$#" -gt 0 ]; do
case "$1" in
--help|"-?")
echo "$USAGE"
@@ -47,7 +49,7 @@ while :; do
exit 1;;
*)
MAPPED="$MAPPED $1"
- break;;
+ shift;;
esac
done