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 /devbot/clean.py | |
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 'devbot/clean.py')
-rw-r--r-- | devbot/clean.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devbot/clean.py b/devbot/clean.py index 2ea935b..7601382 100644 --- a/devbot/clean.py +++ b/devbot/clean.py @@ -1,7 +1,9 @@ from devbot import build from devbot import logs +from devbot import state def clean(): build.clean() logs.clean() + state.clean() |