X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2FMakefile;h=5dd230be44beef5b1e461510167936a50fbda26d;hb=aedb94f5f220b5e442b23ecc445fd38c8d9b6ba0;hp=dd067b20b2dcd854e10e0a037edd373b2101edfa;hpb=b5978be7cc7e53fe418b23c2767540137da339b2;p=ghc-hetmet.git

diff --git a/distrib/Makefile b/distrib/Makefile
index dd067b2..5dd230b 100644
--- 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