From 34263b39b9cdf08c33a4e920eef7b0fc78f02759 Mon Sep 17 00:00:00 2001
From: "Bjoern B. Brandenburg" <bbb@cs.unc.edu>
Date: Tue, 25 Jan 2011 16:05:12 -0500
Subject: don't require LITMUS^RT headers for 'make help'

It should be possible to see the help when the configuration is broken.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ef2be1f..788db74 100644
--- a/Makefile
+++ b/Makefile
@@ -241,7 +241,7 @@ ifeq ($(MAKECMDGOALS),)
 MAKECMDGOALS += all
 endif
 
-ifneq ($(filter-out dump-config clean,$(MAKECMDGOALS)),)
+ifneq ($(filter-out dump-config clean help,$(MAKECMDGOALS)),)
 
 # Pull in dependencies.
 -include ${obj-all:.o=.d}
-- 
cgit v1.2.2