- Include version number in cache id.
This commit is contained in:
parent
24832d641d
commit
ec4cb6eb68
@ -65,14 +65,14 @@ def evaluate (argumentstring, inputstring):
|
|||||||
def cacheid():
|
def cacheid():
|
||||||
m = md5.new()
|
m = md5.new()
|
||||||
|
|
||||||
# # Determine scyther version
|
# Determine scyther version
|
||||||
# (status, scout) = scythercall ("--version", "")
|
(status, scout) = scythercall ("--version", "")
|
||||||
# if status == 1 or status < 0:
|
if status == 1 or status < 0:
|
||||||
# # some problem
|
# some problem
|
||||||
# print "Problem with determining scyther version!"
|
print "Problem with determining scyther version!"
|
||||||
# os.exit()
|
os.exit()
|
||||||
# # Add version to hash
|
# Add version to hash
|
||||||
# m.update (scout)
|
m.update (scout)
|
||||||
|
|
||||||
# Add inputfile to hash
|
# Add inputfile to hash
|
||||||
m.update (inputstring)
|
m.update (inputstring)
|
||||||
|
Loading…
Reference in New Issue
Block a user