diff options
Diffstat (limited to 'devbot/state.py')
-rw-r--r-- | devbot/state.py | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/devbot/state.py b/devbot/state.py index b44652f..7c2a839 100644 --- a/devbot/state.py +++ b/devbot/state.py @@ -89,13 +89,21 @@ def full_build_touch(): full_build["last"] = config.get_full_build() _save_state(_FULL_BUILD, full_build) +def clean_build_state(): + try: + for name in _BUILT_MODULES, _FULL_BUILD: + os.unlink(_get_state_path(name)) + except OSError: + pass + def clean(): _state = None print "Deleting state" + clean_build_state() + try: - for name in _BUILT_MODULES, _SYSTEM_CHECK, _FULL_BUILD: - os.unlink(_get_state_path(name)) + os.unlink(_get_state_path(_SYSTEM_CHECK)) except OSError: pass |