From e55642ba4ce250ed4480c08c3cab250721eb8b7e Mon Sep 17 00:00:00 2001
From: Paul Durrant <paul.durrant@citrix.com>
Date: Fri, 19 Dec 2014 13:04:06 +0000
Subject: [PATCH] Make sure version header gets re-built each time

Signed-off-by: Paul Durrant <paul.durrant@citrix.com>
---
 build.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.py b/build.py
index 3bd4992..25af697 100644
--- a/build.py
+++ b/build.py
@@ -329,6 +329,8 @@ if __name__ == '__main__':
     driver = 'xennet'
     vs = getVsVersion()
 
+    os.utime('include/version.hx', None)
+
     if 'COMPANY_NAME' not in os.environ.keys():
         os.environ['COMPANY_NAME'] = 'Xen Project'
 
-- 
2.39.5