From 4842dde46b28b2c48fc65003b27403a4ed7acfcd Mon Sep 17 00:00:00 2001
From: "Kyle J. Van Berendonck" <kvanberendonck@gmail.com>
Date: Sat, 29 Mar 2014 20:59:58 +1100
Subject: Fix `make help`

Signed-off-by: Austin Seipp <austin@well-typed.com>
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 6872cb329d..e5a7fb8d53 100644
--- a/Makefile
+++ b/Makefile
@@ -30,10 +30,10 @@ default : all
 
 # For help, type 'make help'
 .PHONY: help
-help :
+help:
 	@cat MAKEHELP
 
-ifneq "$(findstring clean,$(MAKECMDGOALS))" ""
+ifneq "$(filter clean help,$(MAKECMDGOALS))" ""
 -include mk/config.mk
 else
 include mk/config.mk
-- 
cgit v1.2.1