2
0
mirror of https://gitlab.com/ita1024/waf.git synced 2024-11-26 03:39:53 +01:00

Re-enable the timestamp cache previously removed

This commit is contained in:
Thomas Nagy 2017-08-09 00:27:13 +02:00
parent e22390ee44
commit 43d6363177

View File

@ -274,7 +274,11 @@ def is_stale(self):
Logs.debug('rev_use: must post %r because there it has no cached data', self.name)
return True
cache = {}
try:
cache = self.bld.cache_tstamp_rev_use
except AttributeError:
cache = self.bld.cache_tstamp_rev_use = {}
def tstamp(x):
# compute files timestamps with some caching
try: