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/build.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/build.py')
-rw-r--r-- | devbot/build.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/devbot/build.py b/devbot/build.py index 18f1c9a..c83c15a 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -59,6 +59,7 @@ def pull(lazy=False): def build(full=False): if full or state.full_build_is_required(): + state.clean(build_only=True) clean() environ.setup() @@ -102,8 +103,6 @@ def distribute(): def clean(): print "\n= Clean =\n" - state.clean(build_only=True) - print "* Emptying install directory" _empty_dir(config.install_dir) |