From: Paul Durrant <paul.durrant@citrix.com>
Date: Fri, 19 Dec 2014 13:04:06 +0000 (+0000)
Subject: Make sure version header gets re-built each time
X-Git-Tag: 8.1.0-rc1~28
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=e55642ba4ce250ed4480c08c3cab250721eb8b7e;p=pvdrivers%2Fwin%2Fxennet.git

Make sure version header gets re-built each time

Signed-off-by: Paul Durrant <paul.durrant@citrix.com>
---

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'