diff options
Diffstat (limited to 'src/cmd/rc/checkparse')
| -rwxr-xr-x | src/cmd/rc/checkparse | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/cmd/rc/checkparse b/src/cmd/rc/checkparse index 0a1472b2..4ddd0910 100755 --- a/src/cmd/rc/checkparse +++ b/src/cmd/rc/checkparse @@ -1,5 +1,13 @@ #!/bin/bash +egrep=egrep +tag="${SYSNAME:-`uname`}" +case "$tag" in +*Linux*) + egrep='grep -E' + ;; +esac + aflag=false if [ "$1" = -a ]; then aflag=true @@ -10,7 +18,7 @@ files="$@" if [ $# = 0 ]; then files=$(echo ./test.rc; grep -l '^#!/usr/local/plan9/bin/rc' /usr/local/plan9/bin/{*,*/*} 2>/dev/null; - grep -R -l '^#!/bin/rc' $HOME/pub/plan9 | egrep -v 'plan9/(lib/(oui|pci)|sys/man|sys/lib/man|sys/lib/scsicodes)' 2>/dev/null) + grep -R -l '^#!/bin/rc' $HOME/pub/plan9 | $egrep -v 'plan9/(lib/(oui|pci)|sys/man|sys/lib/man|sys/lib/scsicodes)' 2>/dev/null) fi for i in $files |