X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2FMakefile;h=ee8fc28150a786b9f7771f5d99c6ff7f63c420bc;hb=bef3803d8e6f5c4396aa3c43b0776b9794b1343f;hp=a1576727058837a5a985f059ff04e748481ab5e6;hpb=eacaba4cdec861c4fc412b9ec2c962bc9b55a87d;p=ghc-hetmet.git

diff --git a/distrib/Makefile b/distrib/Makefile
index a157672..ee8fc28 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -34,13 +34,19 @@ install::
 
 install :: postinstall denounce
 
+# Look to see if $(bindir) is in $(PATH). Assumes there are no funky
+# characters.
+GREPPED_PATH=$(shell echo "$(PATH)" | grep "\(^\|:\)$(bindir)\(:\|$$\)")
+
 denounce:
 	@echo
 	@echo =======================================================================
 	@echo Installation of $(package)-$(version) was successful.
 	@echo
+ifneq "$(GREPPED_PATH)" ""
 	@echo To use, add $(bindir) to your PATH.
 	@echo
+endif
 	@if test -f share/html/index.html; then \
 	   echo For documentation, see $(htmldir)/index.html ; \
 	elif test -d share/html ; then \