From 564d45b5a55adeb48f69fdecb2bf4ed1f909850b Mon Sep 17 00:00:00 2001
From: Dan Cross <cross@gajendra.net>
Date: Tue, 22 Jul 2025 14:42:03 +0000
Subject: config: add $egrep

Introduce a new variable set in $PLAN9/config:
$egrep, which is conditionally set to either
`egrep` or `grep -E`, based on platform, and use
this when we want to invoke `egrep`.

This works around the endless warnings from GNU
grep stating that `egrep` is deprecated in favor
of `grep -E`, when run on e.g. Linux.
---
 INSTALL | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index bfc08d52..f64b8acd 100755
--- a/INSTALL
+++ b/INSTALL
@@ -65,11 +65,18 @@ DragonFly|*BSD)
 	echo "CFLAGS='-pthread'" >> $PLAN9/config
 	awk=awk
 	;;
+*Linux*)
+	awk=awk
+	egrep='grep -E'
+	;;
 *)
+	egrep=egrep
 	awk=awk
 	;;
 esac
 
+echo "egrep='$egrep'" >>$PLAN9/config
+
 (
 if [ `uname` = SunOS ]; then
 	# On Solaris x86, uname -p cannot be trusted.
-- 
cgit v1.2.3