Simplify the "is $bindir in $PATH" test

diff --git a/distrib/Makefile b/distrib/Makefile
index dd067b2..5dd230b 100644 (file)
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -38,7 +38,7 @@ install :: postinstall denounce
 
 # Look to see if $(bindir) is in $(PATH). Assumes there are no funky
 # characters.
-GREPPED_PATH=$(shell echo "$(PATH)" | grep "\(^\|:\)$(bindir)\(:\|$$\)")
+GREPPED_PATH=$(shell echo ":$(PATH):" | grep ":$(bindir):")
 
 denounce:
        @echo