mirror of
https://github.com/dolphin-emu/dolphin.git
synced 2026-11-05 13:54:09 +01:00
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