summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2019-01-17 11:32:45 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2019-01-22 15:01:43 +0100
commit03df2949e33b6760b7835d34e95b0f90a89ee011 (patch)
tree54880fcad09fd58a3d8be24ae9c320e1965d6690
parentsb: Change Linux default prefix to "/opt" (diff)
downloadrtems-source-builder-03df2949e33b6760b7835d34e95b0f90a89ee011.tar.bz2
sb: Change default prefix4.9
Use OS prefix + "rtems" + $rtems_version as the default prefix to automatically separate different RTEMS versions. Close #3681.
-rw-r--r--source-builder/sb/options.py6
1 files changed, 6 insertions, 0 deletions
diff --git a/source-builder/sb/options.py b/source-builder/sb/options.py
index 7791329..6ef1884 100644
--- a/source-builder/sb/options.py
+++ b/source-builder/sb/options.py
@@ -278,6 +278,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(version.version()))
+ self.opts['prefix'] = value
+ self.defaults['_prefix'] = value
# Manage the regression option
if self.opts['regression'] != '0':
self.opts['no-install'] = '1'