From 1149bb52f94072350d59955462b417d51321061d Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sat, 11 Oct 2008 19:10:08 +0000 Subject: [PATCH] Simplify the "is $bindir in $PATH" test --- distrib/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4