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 5368181ddca080f082d0525c64189a8e3bdfda1e..786106b5999af67b85997315773ef67966b24403 100644 (file)
--- a/build.py
+++ b/build.py
@@ -329,6 +329,8 @@ if __name__ == '__main__':
     sdv = { 'nosdv': False, None: True }
     driver = 'xenbus'
     vs = getVsVersion()
+
+    os.utime('include/version.hx', None)
     
     if 'COMPANY_NAME' not in os.environ.keys():
         os.environ['COMPANY_NAME'] = 'Xen Project'