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