From 53d9a93a623d0edc662b6d00b3dea247a3f9224b Mon Sep 17 00:00:00 2001
From: "Bjoern B. Brandenburg" <bbb@cs.unc.edu>
Date: Tue, 25 Jan 2011 16:20:36 -0500
Subject: fix header detection on ARM

The ARM port uses <litmus... instead of "litmus..., so let's use egrep
with a proper regular expression to reliably find the line that includes
the Litmus system calls.
---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 788db74..db94ffb 100644
--- a/Makefile
+++ b/Makefile
@@ -259,8 +259,9 @@ $(error Cannot build without access to the LITMUS^RT kernel source)
 endif
 
 kernel-unistd-hdrs := $(foreach file,${unistd-headers},${LITMUS_KERNEL}/$(file))
-hdr-ok     := $(shell grep '\#include "litmus/unistd' ${kernel-unistd-hdrs} )
+hdr-ok     := $(shell egrep '\#include ["<]litmus/unistd' ${kernel-unistd-hdrs} )
 ifeq ($(strip $(hdr-ok)),)
+$(info (!!) Could not find LITMUS^RT system calls in ${kernel-unistd-hdrs}.)
 $(error Your kernel headers do not seem to be LITMUS^RT headers)
 endif
 
-- 
cgit v1.2.2