Menu

Code Commit Log


Commit Date  
[r80] by chukharev

Remove unused (actually always used) -A option.

2019-01-19 21:44:32 Tree
[r79] by chukharev

Refactor: separate dirs and files to ignore in params in latest_mtime().

2019-01-19 17:55:44 Tree
[r78] by chukharev

Do not check mtime of files not affecting dependences.

2019-01-19 09:27:00 Tree
[r77] by chukharev

Extract a part of latest_mtime() as get_mtime().

2019-01-18 18:56:30 Tree
[r76] by chukharev

Temorally add debug prints to latest_mtime() with nesessary changes.

2019-01-18 13:25:54 Tree
[r75] by chukharev

Do not fail on uneadable cache file.

2019-01-18 13:09:55 Tree
[r74] by chukharev

Refactor: take renew_cache() away from main(); change name and param order in latest_mtime()

2019-01-17 13:59:45 Tree
[r73] by chukharev

New port is not cached.

2019-01-17 10:39:51 Tree
[r72] by chukharev

Add timestamping ports in cache and avoid rebuilding the cache, see ticket #7

2019-01-16 18:14:31 Tree
[r71] by chukharev

Change defaults for style and for cache filename; skip base category as too special; small changes.

2019-01-10 14:18:27 Tree
Older >
MongoDB Logo MongoDB