Merge branch 'master' of gitorious.psi.ch:pmodules/src

This commit is contained in:
2015-03-09 16:46:35 +01:00

View File

@@ -879,7 +879,7 @@ subcommand_search() {
--release=* )
_val=${1/--release=}
if is_release "${_val}"; then
use_releases+="${_val}:"
use_releases+="${_val}:"
else
echo "${_val}: illegal release name." 1>&2
exit 1