summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure12
1 files changed, 7 insertions, 5 deletions
diff --git a/configure b/configure
index 39372fd..534ba9a 100755
--- a/configure
+++ b/configure
@@ -2,16 +2,18 @@
prefix="/usr/local"
-for arg in $*; do
- shift 1
- case $arg in
+while [ $# -gt 0 ]; do
+ arg=$1
+ shift
+ case "$arg" in
"--redo" | "-r")
if [ -f ./configvar_cache ]; then
. ./configvar_cache
fi
;;
"--prefix" | "-p")
- prefix=shift $*
+ prefix=$1
+ shift
;;
--prefix=*)
prefix=`echo $arg | sed 's/^--prefix=//g'`
@@ -19,7 +21,7 @@ for arg in $*; do
"--help" | "-h")
echo "Usage:"
echo " --prefix | -p: The prefix to install to"
- break;
+ exit
;;
*) echo "Unrecognized argument $arg";;
esac