8a2e388 dist.sh: use `grep -E` instead of `egrep`

Authored and Committed by scop 2 years ago
1 file changed. 1 lines added. 1 lines removed.
    dist.sh: use `grep -E` instead of `egrep`
    
    `egrep` has been deprecated in GNU grep since 2007, and in current
    post 3.7 Git it has been made to emit obsolescence warnings:
    https://git.savannah.gnu.org/cgit/grep.git/commit/?id=a9515624709865d480e3142fd959bccd1c9372d1
    
        
file modified
+1 -1