From 71d0d138525787eb3a41fb17760bb18ee8e33604 Mon Sep 17 00:00:00 2001
From: Christoph Niethammer <niethammer@hlrs.de>
Date: Fri, 9 Mar 2018 11:29:07 +0000
Subject: [PATCH] Fix problem with incomplete environment restoration after
 module purge.

---
 check_modules.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/check_modules.sh b/check_modules.sh
index 0e115d1..5d34127 100755
--- a/check_modules.sh
+++ b/check_modules.sh
@@ -49,6 +49,7 @@ module_clean_env_file="$tmpdir/.module_clean_env"  # original environment
 
 # safe the original environment
 set > $module_clean_env_file
+module -f save check_modules
 
 # list of all failed modules
 failed_modules=()
@@ -131,6 +132,7 @@ do
             # Reset the complete environment manually to overcome problems with
             # inconsistent internal caches of the module command after module purge.
             source $module_clean_env_file 2>/dev/null
+            module restore check_modules 2>/dev/null
 
             # clean up intermediate files
             rm -f $module_load_logfile