From 67dd74a9640dfd9192b3e1d07c3ff9e7cc4cbf75 Mon Sep 17 00:00:00 2001 From: Dan Cross Date: Thu, 24 Jul 2025 16:25:44 +0000 Subject: INSTALL: set defaults for awk and egrep Set defaults for `awk` and `egrep`, instead of setting things multiple times when specializing on OS, and using a default in a `case` statement. This is cleaner and less error-prone. --- INSTALL | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/INSTALL b/INSTALL index f64b8acd..b976b817 100755 --- a/INSTALL +++ b/INSTALL @@ -37,6 +37,8 @@ PATH=/bin:/usr/bin:$PLAN9/bin:$PATH export PATH [ -z "$PLAN9_TARGET" ] && PLAN9_TARGET="$PLAN9" export PLAN9_TARGET +egrep=egrep +awk=awk case `uname` in SunOS) awk=nawk @@ -63,16 +65,10 @@ DragonFly|*BSD) ;; esac echo "CFLAGS='-pthread'" >> $PLAN9/config - awk=awk ;; *Linux*) - awk=awk egrep='grep -E' ;; -*) - egrep=egrep - awk=awk - ;; esac echo "egrep='$egrep'" >>$PLAN9/config -- cgit v1.2.3