summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--scripts/lib/devtool/standard.py10
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