From 7e3f1d9bb9ae6773125bd626fe20c132f9a667c7 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 7 Jun 2011 15:23:48 +0200
Subject: [PATCH] get rid of k22

---
 modules.update | 1 -
 1 file changed, 1 deletion(-)

diff --git a/modules.update b/modules.update
index af05d62d..8745085a 100755
--- a/modules.update
+++ b/modules.update
@@ -11,7 +11,6 @@ fcdistros="centos5 f12"
     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-k22-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 ;
-- 
2.43.0