oops - bad handling of make options
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Thu, 15 Mar 2007 09:50:22 +0000 (09:50 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Thu, 15 Mar 2007 09:50:22 +0000 (09:50 +0000)
scripts/nightly-build.sh

index 237dccb..739f42f 100755 (executable)
@@ -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 ;;