From 09718fc97ed894f8cf7e854604e20e622072c495 Mon Sep 17 00:00:00 2001
From: Trammell Hudson <hudson@trmm.net>
Date: Thu, 6 Apr 2017 15:58:51 -0400
Subject: [PATCH] replace __FILE__ with "__FILE__" to make Xen reproducible
 (issue #166)

---
 modules/xen | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/modules/xen b/modules/xen
index 1a4141ce..9f02c8e3 100644
--- a/modules/xen
+++ b/modules/xen
@@ -10,4 +10,6 @@ xen_hash := b795d5631a85fb68295361067195ecd00003656dacede4ec57533fce33ab5109
 
 xen_output := xen
 xen_configure := 
-xen_target := $(MAKE_JOBS)
+xen_target := $(MAKE_JOBS) \
+	CC="$(heads_cc) -Wno-builtin-macro-redefined -D__FILE__=\\\"__FILE__\\\"" \
+