diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/known_good.json | 4 | ||||
| -rw-r--r-- | scripts/kvt_genvk.py | 6 |
2 files changed, 6 insertions, 4 deletions
diff --git a/scripts/known_good.json b/scripts/known_good.json index 6c4fa7d5..e90daf64 100644 --- a/scripts/known_good.json +++ b/scripts/known_good.json @@ -17,7 +17,7 @@ "sub_dir" : "Vulkan-Headers", "build_dir" : "Vulkan-Headers/build", "install_dir" : "Vulkan-Headers/build/install", - "commit" : "v1.1.97" + "commit" : "v1.1.99" }, { "name" : "MoltenVK", @@ -41,7 +41,7 @@ "sub_dir" : "Vulkan-Loader", "build_dir" : "Vulkan-Loader/build", "install_dir" : "Vulkan-Loader/build/install", - "commit" : "v1.1.97", + "commit" : "v1.1.99", "deps" : [ { "var_name" : "VULKAN_HEADERS_INSTALL_DIR", diff --git a/scripts/kvt_genvk.py b/scripts/kvt_genvk.py index 62d0d3fa..399c35ba 100644 --- a/scripts/kvt_genvk.py +++ b/scripts/kvt_genvk.py @@ -21,12 +21,14 @@ startTime = None def startTimer(timeit): global startTime - startTime = time.clock() + if timeit: + startTime = time.process_time() def endTimer(timeit, msg): global startTime endTime = time.clock() - if (timeit): + if timeit: + endTime = time.process_time() write(msg, endTime - startTime, file=sys.stderr) startTime = None |