From: thierry Date: Thu, 15 Mar 2007 09:50:22 +0000 (+0000) Subject: oops - bad handling of make options X-Git-Tag: foo~508 X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=b1a0694be5cfec580262b8ad746064c6a45c52db;p=infrastructure.git oops - bad handling of make options --- diff --git a/scripts/nightly-build.sh b/scripts/nightly-build.sh index 237dccb..739f42f 100755 --- a/scripts/nightly-build.sh +++ b/scripts/nightly-build.sh @@ -111,9 +111,9 @@ function main () { if [ -d /plc/devel/data ] ; then do_chroot "$@" else - while getopts "vd:r:m:f:b:s:uenh" opt ; do MAKEVARS=() MAKEOPTS=() + while getopts "vd:r:m:f:b:s:uenh" opt ; do case $opt in v) set -x ;; d) CVSROOT=$OPTARG ;;