From b46d0629185d8f22a4b2bbe3e8b2169636199bf6 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 24 Jul 2014 14:47:25 +0200
Subject: [PATCH] dde_linux: incorporate file lists into port hash

---
 repos/dde_linux/ports/dde_linux.port | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/dde_linux/ports/dde_linux.port b/repos/dde_linux/ports/dde_linux.port
index e41482dff5..2caad00715 100644
--- a/repos/dde_linux/ports/dde_linux.port
+++ b/repos/dde_linux/ports/dde_linux.port
@@ -16,6 +16,7 @@ URL(linux)     := http://www.kernel.org/pub/linux/kernel/v3.x/linux-$(VERSION).t
 SHA(linux)     := 7979f0d670838d0552c7ede5cc06497b81dcd812
 DIR(linux)     := $(SRC_DIR)
 TAR_OPT(linux) := --strip-components=1 --files-from $(REP_DIR)/files.list
+HASH_INPUT     += $(REP_DIR)/files.list
 
 #
 # IP stack headers
@@ -24,6 +25,7 @@ URL(linux_lxip)     := ${URL(linux)}
 SHA(linux_lxip)     := ${SHA(linux)}
 DIR(linux_lxip)     := $(SRC_DIR)/lxip
 TAR_OPT(linux_lxip) := --strip-components=1  --files-from $(REP_DIR)/lxip_header.list
+HASH_INPUT          += $(REP_DIR)/lxip_header.list
 
 #
 # Raspberry Pi USB controller