[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/agda-stdlib/

[Sam James]

commit:     d4dbb3835041c14069f388aabb3afd2593067a72
Author:     Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat May  7 06:51:07 2022 +0000
Commit:     Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sun May 15 01:00:07 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d4dbb383

sci-mathematics/agda-stdlib: egrep -> grep -E

Signed-off-by: Sam James <sam <AT> gentoo.org>

 sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild 
b/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild
index 55a498c1f260..73afc2f8ee30 100644
--- a/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild
+++ b/sci-mathematics/agda-stdlib/agda-stdlib-2.6.1.2.1.4.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -50,7 +50,7 @@ src_compile() {
        # datadir    = "/usr/share/agda-9999/ghc-7.6.1"
        # it fails without the --css option like:
        # /usr/share/agda-9999/ghc-7.4.1/Agda.css: copyFile: does not exist
-       local cssdir=$(egrep 'datadir *=' 
"${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir    = \(.*\)@\1@')
+       local cssdir=$(grep -E 'datadir *=' 
"${S}/dist/build/autogen/Paths_lib.hs" | sed -e 's@datadir    = \(.*\)@\1@')
        agda --html -i "${S}" -i "${S}"/src --css="${cssdir}/Agda.css" 
"${S}"/README.agda || die
 }