From 775dd1ac23d8e4508a8964308d76fdd0350bf4d3 Mon Sep 17 00:00:00 2001
From: easybuild <easybuild@login2.bullx>
Date: Mon, 5 Nov 2018 12:50:43 +0100
Subject: [PATCH] Mon, 05 Nov 2018 12:50:43 +0100
---
modules.py | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/modules.py b/modules.py
index 18fa9682..37aca88b 100755
--- a/modules.py
+++ b/modules.py
@@ -47,12 +47,12 @@ if __name__ == "__main__":
subdirs = os.environ['MODULEPATH'].split(':')
# Anselm patch
- while "/apps/modules/init" in subdirs: subdirs.remove("/apps/modules/init")
- while "/apps/modules/environments" in subdirs: subdirs.remove("/apps/modules/environments")
- while "/apps/modules/engineering" in subdirs: subdirs.remove("/apps/modules/engineering")
- while "/apps/modules/libraries" in subdirs: subdirs.remove("/apps/modules/libraries")
- while "/apps/modules/omics" in subdirs: subdirs.remove("/apps/modules/omics")
- while "/apps/modules/prace" in subdirs: subdirs.remove("/apps/modules/prace")
+ subdirs.remove("/apps/modules/init")
+ subdirs.remove("/apps/modules/environments")
+ subdirs.remove("/apps/modules/engineering")
+ subdirs.remove("/apps/modules/libraries")
+ subdirs.remove("/apps/modules/omics")
+ subdirs.remove("/apps/modules/prace")
print "# Available Modules"
for dir in sorted(subdirs):
--
GitLab