File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 236236-- Filter system paths from LD_LIBRARY_PATH
237237-- Needs to be reversible so first make a copy
238238append_path (" EESSI_DEFAULT_HOST_LD_LIBRARY_PATH" , os.getenv (" LD_LIBRARY_PATH" ) or " " )
239- -- on unload the variable will no longer exist
240239local function remove_system_paths (var )
241240 local paths = os.getenv (var )
242241 local system_lib_patterns = {
@@ -255,8 +254,9 @@ local function remove_system_paths(var)
255254 end
256255 end
257256end
257+ -- on unload the variable will no longer exist
258258if mode () == " load" then
259- remove_matching_paths (" EESSI_DEFAULT_HOST_LD_LIBRARY_PATH" )
259+ remove_system_paths (" EESSI_DEFAULT_HOST_LD_LIBRARY_PATH" )
260260end
261261-- now we can use pushenv to retain/restore the original value
262262pushenv (" LD_LIBRARY_PATH" , os.getenv (" EESSI_DEFAULT_HOST_LD_LIBRARY_PATH" ) or " " )
You can’t perform that action at this time.
0 commit comments