From 90ee5ed1cf6c55d1d8ef9588c601e5ff446d33aa Mon Sep 17 00:00:00 2001
From: Yalu Zhang <yalu.zhang@iopsys.eu>
Date: Mon, 14 Jan 2019 17:41:24 +0100
Subject: [PATCH] Install some header files needed by ppa_api.h to staging_dir

---
 ppa-drv/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ppa-drv/Makefile b/ppa-drv/Makefile
index 15282a0..7a06a9b 100644
--- a/ppa-drv/Makefile
+++ b/ppa-drv/Makefile
@@ -299,6 +299,12 @@ define Build/Clean
 	); fi
 endef
 
+define Build/InstallDev
+	$(INSTALL_DIR) $(1)/usr/include
+	mkdir -p $(1)/usr/include/net/switch_api
+	$(CP) --dereference $(LINUX_DIR)/include/net/switch_api/* $(1)/usr/include/net/switch_api/
+endef
+
 $(eval $(call KernelPackage,ppa-drv-grx500))
 $(eval $(call KernelPackage,ppa-drv-falcon))
 $(eval $(call KernelPackage,ppa-drv-grx500-mpe))
-- 
GitLab