diff options
-rw-r--r-- | tools/make-dissector-reg.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/make-dissector-reg.py b/tools/make-dissector-reg.py index bc484f9444..0b9776b42b 100644 --- a/tools/make-dissector-reg.py +++ b/tools/make-dissector-reg.py @@ -15,6 +15,7 @@ import os import sys import re import pickle +from stat import * # # The first argument is the directory in which the source files live. @@ -95,7 +96,7 @@ if cache_filename: # Grep for filename in filenames: file = open(filename) - cur_mtime = os.fstat(file.fileno()).st_mtime + cur_mtime = os.fstat(file.fileno())[ST_MTIME] if cache and cache.has_key(filename): cdict = cache[filename] if cur_mtime == cdict['mtime']: |