dailies for planetlab only
authorthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Sat, 24 May 2008 12:11:38 +0000 (12:11 +0000)
committerthierry <thierry@41d37cc5-eb28-0410-a9bf-d37491348ade>
Sat, 24 May 2008 12:11:38 +0000 (12:11 +0000)
scripts/all-builds.sh

index 4bd0cf8..bb8943a 100755 (executable)
@@ -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"