changeset 407 | 443f6f7abcfb |
parent 401 | 6cd204d05600 |
--- a/build/mkcmake.sh Tue Jan 20 22:00:24 2009 +0200 +++ b/build/mkcmake.sh Tue Jan 20 23:24:04 2009 +0200 @@ -1,22 +1,17 @@ #!/bin/sh -# ignore $0 -shift - # build mode defaults to Release if [ -z "$1" ]; then BUILD_TYPE=Release else - BUILD_TYPE="$0" - shift + BUILD_TYPE="$1"; shift fi # install prefix defaults to /tmp -if [ -z "$2" ]; then +if [ -z "$1" ]; then INSTALL_PREFIX=/tmp else - INSTALL_PREFIX="$0" - shift + INSTALL_PREFIX="$1"; shift fi # remaining arguments