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 (executable)
--- 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
 
 }