lint: replace egrep with grep -E #11529

phire · 2023-02-02T04:28:20Z

Starting with grep 3.8, egrep throws the following warning
egrep: warning: egrep is obsolescent; using grep -E

Whch is annoying... so we will use grep -E

Starting with grep 3.8, egrep throws the following warning egrep: warning: egrep is obsolescent; using grep -E Whch is annoying... so we will use grep -E

lint: replace egrep with grep -E

e38c0a1

Starting with grep 3.8, egrep throws the following warning egrep: warning: egrep is obsolescent; using grep -E Whch is annoying... so we will use grep -E

delroth merged commit 6cb8df7 into dolphin-emu:master Feb 2, 2023
13 of 14 checks passed

phire deleted the egrep branch February 2, 2023 04:33

lint: replace egrep with grep -E #11529

lint: replace egrep with grep -E #11529

Conversation

phire commented Feb 2, 2023