From: Link Mauve <linkma...@linkmauve.fr>

GNU apparently deprecated their egrep alias, replace it with 'grep -E'
to avoid getting flooded with deprecation warnings.
---
 tools/patcheck | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/patcheck b/tools/patcheck
index 934e5b9451..ab6f73a784 100755
--- a/tools/patcheck
+++ b/tools/patcheck
@@ -9,7 +9,7 @@ if [ $# = 0 ]; then
 fi
 
 GREP=grep
-EGREP=egrep
+EGREP='grep -E'
 TMP=patcheck.tmp
 OPT="-nH"
 #FILES=$($GREP '^+++' $* | sed 's/+++ //g')
-- 
2.49.0

_______________________________________________
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
https://ffmpeg.org/mailman/listinfo/ffmpeg-devel

To unsubscribe, visit link above, or email
ffmpeg-devel-requ...@ffmpeg.org with subject "unsubscribe".

Reply via email to