git://git.onelab.eu / infrastructure.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6fa6232)
oops - broken for onelab distro in an attempt to rebuild the planetlab distro
authorbuild <build@41d37cc5-eb28-0410-a9bf-d37491348ade>
Wed, 14 Feb 2007 08:18:22 +0000 (08:18 +0000)
committerbuild <build@41d37cc5-eb28-0410-a9bf-d37491348ade>
Wed, 14 Feb 2007 08:18:22 +0000 (08:18 +0000)
scripts/nightly-build.sh patch | blob | history

diff --git a/scripts/nightly-build.sh b/scripts/nightly-build.sh
index 6c74036..8637ab2 100755 (executable)
--- 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
infrastructure