Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Replace egrep with grep -E in Makefile (#3362)
egrep is deprecated and warns about this since version 3.8: https://www.gnu.org/software/grep/manual/grep.html
- Loading branch information