diff options
Diffstat (limited to 'distrib/Makefile')
| -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 |