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 15:01:43 +0100 |
| commit | 03df2949e33b6760b7835d34e95b0f90a89ee011 (patch) | |
| tree | 54880fcad09fd58a3d8be24ae9c320e1965d6690 /rtems | |
| parent | sb: Change Linux default prefix to "/opt" (diff) | |
| download | rtems-source-builder-4.9.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.
Diffstat (limited to 'rtems')
0 files changed, 0 insertions, 0 deletions