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 /bare | |
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 'bare')
0 files changed, 0 insertions, 0 deletions