(directory)
| 300 | |
| 301 | |
| 302 | def get_directory_mtime(directory): |
| 303 | # For example check src/common/ directory for newest modification time |
| 304 | assert os.path.isdir(directory) |
| 305 | files = glob.glob(os.path.join(directory, "*")) |
| 306 | ret_mtime = 0 |
| 307 | for header_file in files: |
| 308 | mtime = os.path.getmtime(header_file) |
| 309 | if mtime > ret_mtime: |
| 310 | ret_mtime = mtime |
| 311 | assert ret_mtime |
| 312 | return ret_mtime |
| 313 | |
| 314 | |
| 315 | if __name__ == "__main__": |