diff options
| author | Dan Cross <cross@gajendra.net> | 2025-07-22 14:42:03 +0000 |
|---|---|---|
| committer | Dan Cross <cross@gajendra.net> | 2025-07-23 19:44:54 +0000 |
| commit | 564d45b5a55adeb48f69fdecb2bf4ed1f909850b (patch) | |
| tree | c1aefa9b2ff41e1d49a5cdba1d2a098e300cc76f /dist | |
| parent | 28690cd427d3caacc50f3df6a3ee901eba5c5dd0 (diff) | |
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.
Diffstat (limited to 'dist')
| -rw-r--r-- | dist/checkman.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/checkman.awk b/dist/checkman.awk index 947888dc..eebb4370 100644 --- a/dist/checkman.awk +++ b/dist/checkman.awk @@ -446,7 +446,7 @@ END { gsub("\\(", " \\(", b) gsub("\\)", "\\)", b) split(tolower(i), a, "/") - print "egrep -in '^\\.IR.*" b "' $PLAN9/man/man*/* # Need " tolower(i) |"sort" + print "grep -in '^\\.IR.*" b "' $PLAN9/man/man*/* # Need " tolower(i) |"sort" } } close("sort") |