diff options
author | Eric Andersen <andersen@codepoet.org> | 2003-11-05 02:16:29 +0000 |
---|---|---|
committer | Eric Andersen <andersen@codepoet.org> | 2003-11-05 02:16:29 +0000 |
commit | b63b5dcfbf06edb3edd7eecdfff39fcf4dbf0604 (patch) | |
tree | 417cf77109ebdf30d23065fc97af3fc125f4d43d | |
parent | dfc535be8fc57eccf4975ed6efedf51b4d27b05e (diff) |
Patch from Peter S. Mazinger to hunt for awk in additional
places....
-rw-r--r-- | Rules.mak | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -81,7 +81,10 @@ check_gcc=$(shell if $(CC) $(1) -S -o /dev/null -xc /dev/null > /dev/null 2>&1; # check if we have nawk, otherwise user awk AWK:=$(shell if [ -x /usr/bin/nawk ]; then echo "/usr/bin/nawk"; \ - else echo "/usr/bin/awk"; fi) + else if [ -x /usr/bin/awk ]; then echo "/usr/bin/awk"; \ + else if [ -x /bin/awk ]; then echo "/bin/awk"; \ + else echo "awk"; fi; fi; fi) + # Make certain these contain a final "/", but no "//"s. RUNTIME_PREFIX:=$(strip $(subst //,/, $(subst ,/, $(subst ",, $(strip $(RUNTIME_PREFIX)))))) |