dev-db/mysql: egrep -> grep -E

Signed-off-by: Sam James <sam@gentoo.org>
This commit is contained in:
Sam James
2022-05-07 07:54:25 +01:00
parent 01ad1fecda
commit a869c04a83
2 changed files with 2 additions and 2 deletions

View File

@@ -1147,7 +1147,7 @@ pkg_config() {
log-slave-updates \
; do
optexp="--(skip-)?${opt}" optfull="--loose-skip-${opt}"
egrep -sq -- "${optexp}" "${helpfile}" && mysqld_options+=( "${optfull}" )
grep -E -sq -- "${optexp}" "${helpfile}" && mysqld_options+=( "${optfull}" )
done
# Prepare timezones, see

View File

@@ -1084,7 +1084,7 @@ pkg_config() {
log-slave-updates \
; do
optexp="--(skip-)?${opt}" optfull="--loose-skip-${opt}"
egrep -sq -- "${optexp}" "${helpfile}" && mysqld_options+=( "${optfull}" )
grep -E -sq -- "${optexp}" "${helpfile}" && mysqld_options+=( "${optfull}" )
done
# Prepare timezones, see