From 0ca35acb7182d90a7abb57ee89b84194dc8a75d4 Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Mon, 29 Jun 2020 08:48:07 +0200
Subject: [PATCH] add os dependent header rule because 3.14.8 does not yet have
 it

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

diff --git a/App/tools/driver.makefile b/App/tools/driver.makefile
index 5959d84..ef4dba9 100644
--- a/App/tools/driver.makefile
+++ b/App/tools/driver.makefile
@@ -988,7 +988,11 @@ ${INSTALL_BINS}: $(addprefix ../,$(filter-out /%,${BINS})) $(filter /%,${BINS})
 	$(INSTALL) -d -m555 $^ $(@D)
 
 $(INSTALL_INCLUDE)/os/default/% : %
-	$(ECHO) "Installing os dependent include file $@"
+	@echo "Installing default include file $@"
+	@$(INSTALL) -d -m $(INSTALL_PERMISSIONS) $< $(@D)
+
+$(INSTALL_INCLUDE)/os/$(OS_CLASS)/% : %
+	@echo "Installing default include file $@"
 	@$(INSTALL) -d -m $(INSTALL_PERMISSIONS) $< $(@D)
 
 # Create SNL code from st/stt file.