summaryrefslogtreecommitdiff
path: root/distrib/Makefile
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2008-10-11 19:10:08 +0000
committerIan Lynagh <igloo@earth.li>2008-10-11 19:10:08 +0000
commit1149bb52f94072350d59955462b417d51321061d (patch)
tree1195536f38f6c20697c5d7c5570c03c6496f0d67 /distrib/Makefile
parentb5978be7cc7e53fe418b23c2767540137da339b2 (diff)
downloadhaskell-1149bb52f94072350d59955462b417d51321061d.tar.gz
Simplify the "is $bindir in $PATH" test
Diffstat (limited to 'distrib/Makefile')
-rw-r--r--distrib/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/distrib/Makefile b/distrib/Makefile
index dd067b20b2..5dd230be44 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