From 04fd11ee9b19630a1fe35bf667354d18d08fe069 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 14 Nov 2011 16:03:45 +0100
Subject: [PATCH] monitor only k{27,32} for planetlab and k32 for onelab

---
 modules.update | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/modules.update b/modules.update
index 8745085a..4c17bb49 100755
--- a/modules.update
+++ b/modules.update
@@ -8,10 +8,10 @@
 fcdistros="centos5 f12"
 
 ( for fcdistro in $fcdistros; do 
-    make stage1=true PLDISTRO=planetlab PLDISTROTAGS=planetlab-tags.mk DISTRONAME=${fcdistro} module-tools ;
+#    make stage1=true PLDISTRO=planetlab PLDISTROTAGS=planetlab-tags.mk DISTRONAME=${fcdistro} module-tools ;
     make stage1=true PLDISTRO=planetlab PLDISTROTAGS=planetlab-k27-tags.mk DISTRONAME=${fcdistro} module-tools ;
     make stage1=true PLDISTRO=planetlab PLDISTROTAGS=planetlab-k32-tags.mk DISTRONAME=${fcdistro} module-tools ;
-    make stage1=true PLDISTRO=onelab PLDISTROTAGS=onelab-k27-tags.mk DISTRONAME=${fcdistro} module-tools ;
+#    make stage1=true PLDISTRO=onelab PLDISTROTAGS=onelab-k27-tags.mk DISTRONAME=${fcdistro} module-tools ;
     make stage1=true PLDISTRO=onelab PLDISTROTAGS=onelab-k32-tags.mk DISTRONAME=${fcdistro} module-tools ;
   done 2>/dev/null ;
   echo tests
-- 
2.43.0