From: Ian Lynagh <igloo@earth.li>
Date: Sat, 11 Oct 2008 19:10:08 +0000 (+0000)
Subject: Simplify the "is $bindir in $PATH" test
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=1149bb52f94072350d59955462b417d51321061d

Simplify the "is $bindir in $PATH" test
---

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