From: build Date: Wed, 14 Feb 2007 08:50:16 +0000 (+0000) Subject: does not handle onelab.xml anymore, the build gets it from princeton cvs X-Git-Tag: foo~542 X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=381c7a5444458ad06a6a2f4152aa4739182b6be5;p=infrastructure.git does not handle onelab.xml anymore, the build gets it from princeton cvs --- diff --git a/scripts/nightly-build.sh b/scripts/nightly-build.sh index 8637ab2..a04c289 100755 --- a/scripts/nightly-build.sh +++ b/scripts/nightly-build.sh @@ -67,6 +67,8 @@ function use_base () { function manage_distro () { +# both .mk and .xml inserted into princeton's cvs + # DISTROFILE=$BUILD/$DISTRO.mk # # if [ -f $DISTROFILE ] ; then @@ -79,19 +81,19 @@ function manage_distro () { # exit 1 # fi # - if [ "$DISTRO" != planetlab ] ; then - DISTROFILE=$BUILD/$DISTRO.xml - - if [ -f $DISTROFILE ] ; then - echo Using $DISTROFILE - elif [ -f $ROOT/$DISTRO.xml ] ; then - echo Using $ROOT/$DISTRO.xml - ln -s $ROOT/$DISTRO.xml $DISTROFILE - else - echo Could not locate $DISTRO.xml - exit 1 - fi - fi +# if [ "$DISTRO" != planetlab ] ; then +# DISTROFILE=$BUILD/$DISTRO.xml +# +# if [ -f $DISTROFILE ] ; then +# echo Using $DISTROFILE +# elif [ -f $ROOT/$DISTRO.xml ] ; then +# echo Using $ROOT/$DISTRO.xml +# ln -s $ROOT/$DISTRO.xml $DISTROFILE +# else +# echo Could not locate $DISTRO.xml +# exit 1 +# fi +# fi }