diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 17:21:41 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-25 17:21:41 (GMT) |
commit | 1226f3dabfef23217d6052b42e18eb7340f5a7f4 (patch) | |
tree | c64bcc68a2b767822dbf1e2592f93e7db396fc2e /devbot/state.py | |
parent | e61e2694d6d708d59cb7fb2947b410efeb954dc5 (diff) |
Remove skipping of modules
This logic is too aggressive and too fragile at
the same time.
Diffstat (limited to 'devbot/state.py')
-rw-r--r-- | devbot/state.py | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/devbot/state.py b/devbot/state.py index 83bbe9a..3cb3e42 100644 --- a/devbot/state.py +++ b/devbot/state.py @@ -53,13 +53,6 @@ def built_module_touch(module): _save_state(_BUILT_MODULES, built_modules) -def built_module_remove(module): - built_modules = _load_state(_BUILT_MODULES) - - if built_modules and module.name in built_modules: - del built_modules[module.name] - _save_state(_BUILT_MODULES, built_modules) - def built_module_is_unchanged(module): git_module = module.get_git_module() built_modules = _load_state(_BUILT_MODULES, {}) |