diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-28 16:21:36 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-28 16:21:36 (GMT) |
commit | 542477741abe0135c652a78911a0eb9aec9b1a19 (patch) | |
tree | fc47abcaeadd22293b8a4782a798d12cc8185727 /Makefile.config | |
parent | 23e0efc9099005c2b789c84a4578624ba2033de3 (diff) |
Change how we decide if system check is required
Using mtime will work even if you make local changes
and it's less code.
Diffstat (limited to 'Makefile.config')
0 files changed, 0 insertions, 0 deletions