diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-10-11 19:10:08 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-10-11 19:10:08 +0000 |
| commit | 1149bb52f94072350d59955462b417d51321061d (patch) | |
| tree | 1195536f38f6c20697c5d7c5570c03c6496f0d67 /distrib | |
| parent | b5978be7cc7e53fe418b23c2767540137da339b2 (diff) | |
| download | haskell-1149bb52f94072350d59955462b417d51321061d.tar.gz | |
Simplify the "is $bindir in $PATH" test
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/Makefile | 2 |
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 |