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.
---
 src/mkfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/mkfile')

diff --git a/src/mkfile b/src/mkfile
index d17ca6b6..c18109fe 100644
--- a/src/mkfile
+++ b/src/mkfile
@@ -1,7 +1,7 @@
 <mkhdr
 
 BUGGERED='fs|fmt|utf'
-LIBDIRS=`ls -ld lib* | sed -n 's/^d.* //p' |egrep -v "^lib($BUGGERED)$"`
+LIBDIRS=`ls -ld lib* | sed -n 's/^d.* //p' |$egrep -v "^lib($BUGGERED)$"`
 
 DIRS=\
 	$LIBDIRS\
-- 
cgit v1.2.3