[FRONTEND] Fixed typo in cache for .dumb db (#296)
This commit is contained in:
@@ -614,7 +614,7 @@ class Kernel:
|
|||||||
if dbtype is not None:
|
if dbtype is not None:
|
||||||
# some db types can create multiple files
|
# some db types can create multiple files
|
||||||
exts = {'dbm.gnu': [''], 'dbm.ndbm': ['.db'],
|
exts = {'dbm.gnu': [''], 'dbm.ndbm': ['.db'],
|
||||||
'dbm.dumb': ['dir', 'dat']}[dbtype]
|
'dbm.dumb': ['.dir', '.dat']}[dbtype]
|
||||||
db_paths = [bin_cache_path + ext for ext in exts]
|
db_paths = [bin_cache_path + ext for ext in exts]
|
||||||
# check if the cache is stale
|
# check if the cache is stale
|
||||||
frontend_mtime = os.path.getmtime(triton.code_gen.__file__)
|
frontend_mtime = os.path.getmtime(triton.code_gen.__file__)
|
||||||
|
Reference in New Issue
Block a user