diff options
Diffstat (limited to 'scripts')
-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 | ||