From b1a0694be5cfec580262b8ad746064c6a45c52db Mon Sep 17 00:00:00 2001 From: thierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade> Date: Thu, 15 Mar 2007 09:50:22 +0000 Subject: [PATCH] oops - bad handling of make options --- scripts/nightly-build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ;; -- 2.47.0