diff options
author | Chris Johns <chrisj@rtems.org> | 2019-09-04 10:21:09 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2019-09-05 09:47:01 +1000 |
commit | 128ee7b7ec58c9b74d8b19475e70dce8c6cb477f (patch) | |
tree | e6cd2c078ac2327ba21535436f9f479b6a14175f /tester/rt/check.py | |
parent | 72c684eff2cd932b4948e21902680a93473340c3 (diff) |
bsp-builder: Do not clean the build space when starting with --no-clean
Diffstat (limited to '')
-rwxr-xr-x | tester/rt/check.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tester/rt/check.py b/tester/rt/check.py index 3bb24e3..c7f6c23 100755 --- a/tester/rt/check.py +++ b/tester/rt/check.py @@ -1020,7 +1020,7 @@ class builder: self._failures_report() def run_jobs(self, jobs): - if path.exists(self.build_dir): + if path.exists(self.build_dir) and not self.options['no-clean']: log.notice('Cleaning: %s' % (self.build_dir)) path.removeall(self.build_dir) self.start = _now() |