oops
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 5 Jan 2010 10:17:13 +0000 (10:17 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 5 Jan 2010 10:17:13 +0000 (10:17 +0000)
vbuild-nightly.sh

index dfc3366..ff3bc65 100755 (executable)
@@ -539,21 +539,21 @@ function main () {
            FCDISTRO=$(vserver ${BASE} exec /build/getdistroname.sh)
 
            PLDISTRO=$(vserver ${BASE} exec make --no-print-directory -C /build stage1=skip +PLDISTRO)
-           options=($options -d $PLDISTRO)
+           options=(${options[@]} -d $PLDISTRO)
            PLDISTROTAGS=$(vserver ${BASE} exec make --no-print-directory -C /build stage1=skip +PLDISTROTAGS)
-           options=($options -t $PLDISTROTAGS)
+           options=(${options[@]} -t $PLDISTROTAGS)
            build_SVNPATH=$(vserver ${BASE} exec make --no-print-directory -C /build stage1=skip +build-SVNPATH)
-           options=($options -s $build_SVNPATH)
+           options=(${options[@]} -s $build_SVNPATH)
            PERSONALITY=$(vserver ${BASE} exec make --no-print-directory -C /build stage1=skip +PERSONALITY)
-           [ -n "$PERSONALITY" ] && options=($options -p $PERSONALITY)
+           [ -n "$PERSONALITY" ] && options=(${options[@]} -p $PERSONALITY)
            MAILTO=$(vserver ${BASE} exec make --no-print-directory -C /build stage1=skip +MAILTO)
-           [ -n "$MAILTO" ] && options=($options -m $MAILTO)
+           [ -n "$MAILTO" ] && options=(${options[@]} -m $MAILTO)
            WEBPATH=$(vserver ${BASE} exec make --no-print-directory -C /build stage1=skip +WEBPATH)
-           [ -n "$WEBPATH" ] && options=($options -w $WEBPATH)
+           [ -n "$WEBPATH" ] && options=(${options[@]} -w $WEBPATH)
            TESTBUILDURL=$(vserver ${BASE} exec make --no-print-directory -C /build stage1=skip +TESTBUILDURL)
-           [ -n "$TESTBUILDURL" ] && options=($options -W $TESTBUILDURL)
+           [ -n "$TESTBUILDURL" ] && options=(${options[@]} -W $TESTBUILDURL)
            WEBROOT=$(vserver ${BASE} exec make --no-print-directory -C /build stage1=skip +WEBROOT)
-           [ -n "$WEBROOT" ] && options=($options -r $WEBROOT)
+           [ -n "$WEBROOT" ] && options=(${options[@]} -r $WEBROOT)
            show_env
        else
            # create vserver: check it does not exist yet