diff options
Diffstat (limited to 'scripts/lib')
-rw-r--r-- | scripts/lib/devtool/standard.py | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/scripts/lib/devtool/standard.py b/scripts/lib/devtool/standard.py index c98bfe8195..e3b74ab8f0 100644 --- a/scripts/lib/devtool/standard.py +++ b/scripts/lib/devtool/standard.py | |||
@@ -1975,9 +1975,19 @@ def _reset(recipes, no_clean, remove_work, config, basepath, workspace): | |||
1975 | shutil.rmtree(srctreebase) | 1975 | shutil.rmtree(srctreebase) |
1976 | else: | 1976 | else: |
1977 | # We don't want to risk wiping out any work in progress | 1977 | # We don't want to risk wiping out any work in progress |
1978 | logger.info('Leaving source tree %s as-is; if you no ' | 1978 | if srctreebase.startswith(os.path.join(config.workspace_path, 'sources')): |
1979 | 'longer need it then please delete it manually' | 1979 | from datetime import datetime |
1980 | % srctreebase) | 1980 | preservesrc = os.path.join(config.workspace_path, 'attic', 'sources', "{}.{}".format(pn,datetime.now().strftime("%Y%m%d%H%M%S"))) |
1981 | logger.info('Preserving source tree in %s\nIf you no ' | ||
1982 | 'longer need it then please delete it manually.\n' | ||
1983 | 'It is also possible to reuse it via devtool source tree argument.' | ||
1984 | % preservesrc) | ||
1985 | bb.utils.mkdirhier(os.path.dirname(preservesrc)) | ||
1986 | shutil.move(srctreebase, preservesrc) | ||
1987 | else: | ||
1988 | logger.info('Leaving source tree %s as-is; if you no ' | ||
1989 | 'longer need it then please delete it manually' | ||
1990 | % srctreebase) | ||
1981 | else: | 1991 | else: |
1982 | # This is unlikely, but if it's empty we can just remove it | 1992 | # This is unlikely, but if it's empty we can just remove it |
1983 | os.rmdir(srctreebase) | 1993 | os.rmdir(srctreebase) |