diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-01-17 11:32:45 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-01-22 09:57:30 +0100 |
commit | d523d4c9d6521fc2786d1f30f8a7075932c79547 (patch) | |
tree | 7d25c4ad1e52a6e58768f1db602788f987001fa8 | |
parent | sb: Fix the RTEMS options after strict option checking was added. (diff) | |
download | rtems-source-builder-d523d4c9d6521fc2786d1f30f8a7075932c79547.tar.bz2 |
sb: Change default prefix
Use OS prefix + "rtems" + $rtems_version as the default prefix to
automatically separate different RTEMS versions.
Close #3675.
-rw-r--r-- | source-builder/sb/options.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/source-builder/sb/options.py b/source-builder/sb/options.py index f6963ac..ae67eeb 100644 --- a/source-builder/sb/options.py +++ b/source-builder/sb/options.py @@ -310,6 +310,12 @@ class command_line: # Must have a host if self.defaults['_build'] == self.defaults['nil']: raise error.general('--build not set') + # Default prefix + prefix = self.parse_args('--prefix') + if prefix is None: + value = path.join(self.defaults['_prefix'], 'rtems', str(self.defaults['rtems_version'])) + self.opts['prefix'] = value + self.defaults['_prefix'] = value # Manage the regression option if self.opts['regression'] != '0': self.opts['no-install'] = '1' |