From ec4cb6eb68717c4c0270750f0e001811d14208ad Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 23 Feb 2006 10:49:23 +0000 Subject: [PATCH] - Include version number in cache id. --- test/scythercache.py | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/test/scythercache.py b/test/scythercache.py index 1442d62..7d6c60a 100755 --- a/test/scythercache.py +++ b/test/scythercache.py @@ -65,14 +65,14 @@ def evaluate (argumentstring, inputstring): def cacheid(): m = md5.new() - # # Determine scyther version - # (status, scout) = scythercall ("--version", "") - # if status == 1 or status < 0: - # # some problem - # print "Problem with determining scyther version!" - # os.exit() - # # Add version to hash - # m.update (scout) + # Determine scyther version + (status, scout) = scythercall ("--version", "") + if status == 1 or status < 0: + # some problem + print "Problem with determining scyther version!" + os.exit() + # Add version to hash + m.update (scout) # Add inputfile to hash m.update (inputstring)