commit: 02f05048d29d68b7f3c3bfdc6adf630ba8eec42d Author: Michał Górny <mgorny <AT> gentoo <DOT> org> AuthorDate: Wed Jan 4 05:01:00 2023 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Wed Jan 4 05:05:46 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=02f05048
media-sound/pragha: Force bash for configure script Closes: https://bugs.gentoo.org/889618 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> media-sound/pragha/pragha-1.3.99.1-r1.ebuild | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/media-sound/pragha/pragha-1.3.99.1-r1.ebuild b/media-sound/pragha/pragha-1.3.99.1-r1.ebuild index 5284653c476c..473933be04a5 100644 --- a/media-sound/pragha/pragha-1.3.99.1-r1.ebuild +++ b/media-sound/pragha/pragha-1.3.99.1-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -88,6 +88,8 @@ src_configure() { --disable-grilo-0.2 --disable-grilo-net-0.2 ) + + local CONFIG_SHELL="$(type -P bash)" econf "${myconf[@]}" }
