Make sure INF gets re-built each time

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

diff --git a/build.py b/build.py
index 99fb61845b2b58edd4b745c596ddac535a0b4de1..3096255757522846d3d10ca56b2fe7bfdad1a3ae 100644 (file)
--- a/build.py
+++ b/build.py
@@ -330,6 +330,7 @@ if __name__ == '__main__':
     vs = getVsVersion()
 
     os.utime('include/version.hx', None)
+    os.utime('src/%s.inf' % driver, None)
 
     if 'COMPANY_NAME' not in os.environ.keys():
         os.environ['COMPANY_NAME'] = 'Xen Project'