Rosen Penev 8cfce165a7 target/linux: replace egrep with grep -E ... egrep is deprecated and replaced by grep -E. The latter is used throughout the tree. Signed-off-by: Rosen Penev <rosenp@gmail.com>		2022-02-07 00:03:27 +01:00
..
platform.sh	target/linux: replace egrep with grep -E	2022-02-07 00:03:27 +01:00