--- Makefile.in.orig	Mon Apr 29 23:36:46 2002
+++ Makefile.in	Mon May 20 21:04:00 2002
@@ -761,7 +761,7 @@
 	cd $(DESTDIR)$(bindir); \
 	$(LN) gawk $$fullname ; \
 	$(LN) pgawk p$$fullname ; \
-	if [ ! -f awk ]; \
+	if ! /usr/bin/which -s awk; \
 	then	$(LN_S) gawk awk; \
 	fi; exit 0)
 
