update modules list

[build.git] / modules.update

diff --git a/modules.update b/modules.update
index 8630c48..6a007f8 100755 (executable)
--- a/modules.update
+++ b/modules.update
@@ -10,4 +10,6 @@ fcdistro=centos5
   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=onelab PLDISTROTAGS=onelab-tags.mk DISTRONAME=${fcdistro} module-tools ; \
+  make stage1=true PLDISTRO=onelab PLDISTROTAGS=onelab-k27-tags.mk DISTRONAME=${fcdistro} module-tools ; \
+  echo tests
 ) | sort -u | grep -v '^build$'