ignore case when gathering modules.list

[build.git] / modules.update

diff --git a/modules.update b/modules.update
index 14f41fa..efbbc96 100755 (executable)
--- a/modules.update
+++ b/modules.update
@@ -12,4 +12,4 @@ fcdistro=centos5
   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$' 
+) | sort -uf | grep -v '^build$'