From 3d8af58c18e11af181f3917e2059edc2cba6834e Mon Sep 17 00:00:00 2001
From: build <build@41d37cc5-eb28-0410-a9bf-d37491348ade>
Date: Wed, 14 Feb 2007 08:18:22 +0000
Subject: [PATCH] oops - broken for onelab distro in an attempt to rebuild the
 planetlab distro

---
 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 6c74036..8637ab2 100755
--- a/scripts/nightly-build.sh
+++ b/scripts/nightly-build.sh
@@ -79,7 +79,7 @@ function manage_distro () {
 #    exit 1
 #  fi
 #
-  if "$DISTRO" != planetlab; then
+  if [ "$DISTRO" != planetlab ] ; then
     DISTROFILE=$BUILD/$DISTRO.xml
 
     if [ -f $DISTROFILE ] ; then
-- 
2.47.0