From 6d9d5de34a48caa332a7c5c294b673c5330128ef Mon Sep 17 00:00:00 2001 From: thierry Date: Sat, 24 May 2008 12:11:38 +0000 Subject: [PATCH] dailies for planetlab only --- scripts/all-builds.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/all-builds.sh b/scripts/all-builds.sh index 4bd0cf8..bb8943a 100755 --- a/scripts/all-builds.sh +++ b/scripts/all-builds.sh @@ -43,7 +43,9 @@ DEFAULT_BASE="@DATE@" if [ -z "$MINOR" ] ; then DEFAULT_MAJOR_DISTROS="" DEFAULT_VS_DISTROS="" - DEFAULT_TRUNK_DISTROS="onelab planetlab" +# 5.0 ready for planetlab distro only so far + DEFAULT_TRUNK_DISTROS="planetlab" +# DEFAULT_TRUNK_DISTROS="onelab planetlab" BUILDOPT="" else DEFAULT_MAJOR_DISTROS="planetlab onelab" -- 2.47.0