Merge branch 'master' into 32-overlay-implementation

2026-06-29 18:59:39 +02:00 · 2019-05-22 11:22:49 +02:00
parent fa3d9f6c8d 8fae38b27d
commit 63fad8c272
1 changed files with 5 additions and 1 deletions
@@ -1723,7 +1723,11 @@ subcommand_search() {
 				        std::die 1 "%s %s: illegal value for --with option -- %s\n" \
                                                 "${CMD}" 'search' "${arg}"
 				fi
-				with_modules+=" && / ${arg//\//\\/}/"
+                                arg=${arg//:/ }
+                                arg=${arg//,/ }
+                                for module in ${arg}; do
+				        with_modules+=" && / ${module//\//\\/}/"
+                                done
 				;;
 			-a | --all-releases )
 				opt_use_releases="${PMODULES_DEFINED_RELEASES}"