From 436de7da6c90b74252b148aa9fabf23003c6ae2e Mon Sep 17 00:00:00 2001 From: Gilles DAVID Date: Thu, 27 Jul 2017 17:22:54 +0200 Subject: [PATCH] Appli: do not add empty modules --- bin/setenv.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/setenv.py b/bin/setenv.py index 693a51feb..242f492cd 100755 --- a/bin/setenv.py +++ b/bin/setenv.py @@ -106,7 +106,7 @@ def get_config(silent=False, exeName=None): modules_list = [] if args.has_key("modules"): - modules_list += args["modules"] + modules_list += [a for a in args["modules"] if a.strip()] # KERNEL must be last in the list to locate it at the first place in PATH if args["gui"] : modules_list[:0] = ["GUI"] -- 2.39.2