[PATCH 2/2] Change default prefix

[Sebastian Huber]

Use OS prefix + "rtems" + $rtems_version as the default prefix to
automatically separate different RTEMS versions.

Close #3675.
---
 source-builder/sb/options.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/source-builder/sb/options.py b/source-builder/sb/options.py
index c5fcabe..e08b088 100644
--- a/source-builder/sb/options.py
+++ b/source-builder/sb/options.py
@@ -307,6 +307,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'
-- 
2.16.4