From 75f99b702a2f505f060ccfc5eeed458aeefb2f48 Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Tue, 11 Sep 2018 17:21:31 +0200
Subject: [PATCH] Allow arch dependent header files

---
 App/tools/driver.makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/App/tools/driver.makefile b/App/tools/driver.makefile
index 0a32b3f..25ed31e 100644
--- a/App/tools/driver.makefile
+++ b/App/tools/driver.makefile
@@ -503,6 +503,9 @@ export VAR_EXTENSIONS
 REQ = ${REQUIRED} $(foreach x, ${VAR_EXTENSIONS}, ${REQUIRED_$x})
 export REQ
 
+HDRS +=  $(foreach x, ${VAR_EXTENSIONS}, ${HEADERS_$x})
+export HDRS 
+
 SRCS += $(foreach x, ${VAR_EXTENSIONS}, ${SOURCES_$x})
 USR_LIBOBJS += ${LIBOBJS} $(foreach x,${VAR_EXTENSIONS},${LIBOBJS_$x})
 export USR_LIBOBJS