diff options
Diffstat (limited to 'scripts/lib/devtool/standard.py')
-rw-r--r-- | scripts/lib/devtool/standard.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/lib/devtool/standard.py b/scripts/lib/devtool/standard.py index f29d8cbb68..2dbb197642 100644 --- a/scripts/lib/devtool/standard.py +++ b/scripts/lib/devtool/standard.py | |||
@@ -1791,6 +1791,13 @@ def _reset(recipes, no_clean, config, basepath, workspace): | |||
1791 | for pn in recipes: | 1791 | for pn in recipes: |
1792 | _check_preserve(config, pn) | 1792 | _check_preserve(config, pn) |
1793 | 1793 | ||
1794 | appendfile = workspace[pn]['bbappend'] | ||
1795 | if os.path.exists(appendfile): | ||
1796 | # This shouldn't happen, but is possible if devtool errored out prior to | ||
1797 | # writing the md5 file. We need to delete this here or the recipe won't | ||
1798 | # actually be reset | ||
1799 | os.remove(appendfile) | ||
1800 | |||
1794 | preservepath = os.path.join(config.workspace_path, 'attic', pn, pn) | 1801 | preservepath = os.path.join(config.workspace_path, 'attic', pn, pn) |
1795 | def preservedir(origdir): | 1802 | def preservedir(origdir): |
1796 | if os.path.exists(origdir): | 1803 | if os.path.exists(origdir): |