From a135f11e7095cf1c2958c58cdc92e876e122a73d Mon Sep 17 00:00:00 2001
From: Daniel Krebs <github@daniel-krebs.net>
Date: Sat, 14 Jan 2017 22:50:45 +0100
Subject: [PATCH] deb: manually execute target for arch/x86/kernel/boot.h when
 building

---
 debian/rules | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/debian/rules b/debian/rules
index 4358826b5..c389f6952 100755
--- a/debian/rules
+++ b/debian/rules
@@ -13,6 +13,12 @@ export DEB_BUILD_OPTS = nocheck
 override_dh_auto_configure:
 	./configure --prefix=`pwd`/debian/libhermit/opt/hermit
 
+override_dh_auto_build:
+	# this target is somehow not executed by dh_auto_build and thus the build fails
+	make arch/x86/kernel/boot.h
+
+	dh_auto_build
+
 override_dh_auto_test:
 	@echo "tests are disabled"