diff options
Diffstat (limited to 'scripts/lib/devtool/standard.py')
| -rw-r--r-- | scripts/lib/devtool/standard.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/scripts/lib/devtool/standard.py b/scripts/lib/devtool/standard.py index b6e532bcd3..9bd2d8613d 100644 --- a/scripts/lib/devtool/standard.py +++ b/scripts/lib/devtool/standard.py | |||
| @@ -1620,16 +1620,16 @@ def _reset(recipes, no_clean, config, basepath, workspace): | |||
| 1620 | # We don't automatically create this dir next to appends, but the user can | 1620 | # We don't automatically create this dir next to appends, but the user can |
| 1621 | preservedir(os.path.join(config.workspace_path, 'appends', pn)) | 1621 | preservedir(os.path.join(config.workspace_path, 'appends', pn)) |
| 1622 | 1622 | ||
| 1623 | srctree = workspace[pn]['srctree'] | 1623 | srctreebase = workspace[pn]['srctreebase'] |
| 1624 | if os.path.isdir(srctree): | 1624 | if os.path.isdir(srctreebase): |
| 1625 | if os.listdir(srctree): | 1625 | if os.listdir(srctreebase): |
| 1626 | # We don't want to risk wiping out any work in progress | 1626 | # We don't want to risk wiping out any work in progress |
| 1627 | logger.info('Leaving source tree %s as-is; if you no ' | 1627 | logger.info('Leaving source tree %s as-is; if you no ' |
| 1628 | 'longer need it then please delete it manually' | 1628 | 'longer need it then please delete it manually' |
| 1629 | % srctree) | 1629 | % srctreebase) |
| 1630 | else: | 1630 | else: |
| 1631 | # This is unlikely, but if it's empty we can just remove it | 1631 | # This is unlikely, but if it's empty we can just remove it |
| 1632 | os.rmdir(srctree) | 1632 | os.rmdir(srctreebase) |
| 1633 | 1633 | ||
| 1634 | clean_preferred_provider(pn, config.workspace_path) | 1634 | clean_preferred_provider(pn, config.workspace_path) |
| 1635 | 1635 | ||
