diff options
| author | Rosen Penev <rosenp@gmail.com> | 2022-02-05 09:42:42 -0800 |
|---|---|---|
| committer | Hauke Mehrtens <hauke@hauke-m.de> | 2022-02-07 00:03:27 +0100 |
| commit | 8cfce165a7e3605c22b045cdc1f745b4d6b49fb9 (patch) | |
| tree | c802cdab7112aaff02a6fc35176a1619ec9ae3f0 /tools/mpfr | |
| parent | 7994461a5a1c2cdd8bf4cc3fa38c4d496534f080 (diff) | |
| download | upstream-8cfce165a7e3605c22b045cdc1f745b4d6b49fb9.tar.gz upstream-8cfce165a7e3605c22b045cdc1f745b4d6b49fb9.tar.bz2 upstream-8cfce165a7e3605c22b045cdc1f745b4d6b49fb9.zip | |
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>
Diffstat (limited to 'tools/mpfr')
0 files changed, 0 insertions, 0 deletions