diff options
Diffstat (limited to 'scripts/lib')
-rw-r--r-- | scripts/lib/devtool/standard.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/lib/devtool/standard.py b/scripts/lib/devtool/standard.py index 83ec7d8efa..187dff201f 100644 --- a/scripts/lib/devtool/standard.py +++ b/scripts/lib/devtool/standard.py | |||
@@ -190,6 +190,9 @@ def add(args, config, basepath, workspace): | |||
190 | shutil.move(recipes[0], recipefile) | 190 | shutil.move(recipes[0], recipefile) |
191 | else: | 191 | else: |
192 | raise DevtoolError('Command \'%s\' did not create any recipe file:\n%s' % (e.command, e.stdout)) | 192 | raise DevtoolError('Command \'%s\' did not create any recipe file:\n%s' % (e.command, e.stdout)) |
193 | attic_recipe = os.path.join(config.workspace_path, 'attic', os.path.basename(recipefile)) | ||
194 | if os.path.exists(attic_recipe): | ||
195 | logger.warn('A modified recipe from a previous invocation exists in %s - you may wish to move this over the top of the new recipe if you had changes in it that you want to continue with' % attic_recipe) | ||
193 | finally: | 196 | finally: |
194 | if tmpsrcdir and os.path.exists(tmpsrcdir): | 197 | if tmpsrcdir and os.path.exists(tmpsrcdir): |
195 | shutil.rmtree(tmpsrcdir) | 198 | shutil.rmtree(tmpsrcdir) |