Merge branch 'master' of gitlab.psi.ch:Pmodules/src

2026-06-28 02:19:39 +02:00 · 2017-11-14 10:38:15 +01:00
parent e7b9954ff7 f67728dc55
commit f5381ef8cf
1 changed files with 1 additions and 0 deletions
@@ -948,6 +948,7 @@ get_available_modules2() {
 	local -r module="$2"
 	local -r use_releases="${3:-${UsedReleases}}"
 	local -a mods=()
+	test -d "${dir}" || return 0
 	{
 		cd "${dir}"
 		while read mod; do