From 4e8b5830d6767f447f5b6c8e6ad26a086f0ee799 Mon Sep 17 00:00:00 2001
From: Mark Young <marky@lunarg.com>
Date: Thu, 1 Nov 2018 13:28:52 -0600
Subject: [PATCH] Fix python 3.7 warning

Python 3.8 will remove the "time.clock()" option we currently use.
Instead, we should "time.process_time()".
---
 xml/genvk.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/xml/genvk.py b/xml/genvk.py
index cdbf9385..5f98021d 100755
--- a/xml/genvk.py
+++ b/xml/genvk.py
@@ -30,11 +30,11 @@ startTime = None
 
 def startTimer(timeit):
     global startTime
-    startTime = time.clock()
+    startTime = time.process_time()
 
 def endTimer(timeit, msg):
     global startTime
-    endTime = time.clock()
+    endTime = time.process_time()
     if (timeit):
         write(msg, endTime - startTime, file=sys.stderr)
         startTime = None