grep: remove egrep warning

2026-10-27 12:48:22 +00:00 · 2026-05-23 11:10:57 -03:00
parent 09c202bb91
commit e43b9f6108
2 changed files with 10 additions and 1 deletions
@@ -1,3 +1,12 @@
+diff --git grep-clean/src/egrep.sh grep-workdir/src/egrep.sh
+index a0d1694..d584c3f 100644
+--- grep-clean/src/egrep.sh
+++ grep-workdir/src/egrep.sh
+@@ -1,4 +1,3 @@
+ #!@SHELL@
+ cmd=${0##*/}
+-echo "$cmd: warning: $cmd is obsolescent; using @grep@ @option@" >&2
+ exec @grep@ @option@ "$@"
 diff --git grep-clean/src/grep.c grep-workdir/src/grep.c
 index 491dd02..5a0250a 100644
 --- grep-clean/src/grep.c