From f5177a853e7fb237fc687efc71d1283e473c63ac Mon Sep 17 00:00:00 2001
From: Ben Hutchings <ben@decadent.org.uk>
Date: Wed, 27 Dec 2017 02:47:51 +0000
Subject: [PATCH] linux-headers: Add symlink to linux-kbuild tools directory
 for objtool

---
 debian/changelog  | 1 +
 debian/rules.real | 1 +
 2 files changed, 2 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index b3c5c508b..b4639c773 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,6 +2,7 @@ linux (4.14.12-2) UNRELEASED; urgency=medium
 
   [ Ben Hutchings ]
   * linux-kbuild: Add objtool
+  * linux-headers: Add symlink to linux-kbuild tools directory for objtool
 
  -- Salvatore Bonaccorso <carnil@debian.org>  Sat, 06 Jan 2018 07:37:50 +0100
 
diff --git a/debian/rules.real b/debian/rules.real
index d460d9bc9..b3b9ed92d 100644
--- a/debian/rules.real
+++ b/debian/rules.real
@@ -301,6 +301,7 @@ install-common-headers_$(FEATURESET): $(STAMPS_DIR)/source_$(FEATURESET)
 	cpio -pd --preserve-modification-time '$(CURDIR)/$(DIR)'
 
 	dh_link /usr/lib/$(PACKAGE_NAME_KBUILD)/scripts $(BASE_DIR)/scripts
+	dh_link /usr/lib/$(PACKAGE_NAME_KBUILD)/tools $(BASE_DIR)/tools
 
 	+$(MAKE_SELF) install-base