From 17d03d0cc44b5a535f05cf8bf9daa1f66964fcdb Mon Sep 17 00:00:00 2001
From: Easy Build <easybuild@login3.smc.salomon.it4i.cz>
Date: Thu, 8 Nov 2018 11:56:28 +0100
Subject: [PATCH] Thu, 08 Nov 2018 11:56:28 +0100

---
 get_modules.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/get_modules.sh b/get_modules.sh
index cb81be32..46735d42 100755
--- a/get_modules.sh
+++ b/get_modules.sh
@@ -27,7 +27,7 @@ else
     for dir in $MODULEBASE
     do
       # Exclude following directories
-      if [[ ($(basename $dir) == "all") ]]; then
+      if [ $(basename $dir) = "all" ]; then
         continue
       fi
       # In case that it's directory
-- 
GitLab