mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00
sb: Change default prefix
Use OS prefix + "rtems" + $rtems_version as the default prefix to automatically separate different RTEMS versions. Close #3681.
This commit is contained in:
parent
c439538d66
commit
03df2949e3
@ -278,6 +278,12 @@ class command_line:
|
|||||||
# Must have a host
|
# Must have a host
|
||||||
if self.defaults['_build'] == self.defaults['nil']:
|
if self.defaults['_build'] == self.defaults['nil']:
|
||||||
raise error.general('--build not set')
|
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
|
# Manage the regression option
|
||||||
if self.opts['regression'] != '0':
|
if self.opts['regression'] != '0':
|
||||||
self.opts['no-install'] = '1'
|
self.opts['no-install'] = '1'
|
||||||
|
Loading…
x
Reference in New Issue
Block a user