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 14:56:25 +0100 |
| commit | ad29cd659d886c448e0b8ed240f833f4cf437478 (patch) | |
| tree | abbd8418a794dc52583afee7550c428d270c7475 /bare | |
| parent | sb: Change Linux default prefix to "/opt" (diff) | |
| download | rtems-source-builder-4.10.tar.bz2 | |
sb: Change default prefix4.10
Use OS prefix + "rtems" + $rtems_version as the default prefix to
automatically separate different RTEMS versions.
Close #3680.
Diffstat (limited to 'bare')
0 files changed, 0 insertions, 0 deletions