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:53:27 +0100 |
commit | c88c92d7fc9373ab167369669917f7de7695516e (patch) | |
tree | fc5ea4204ad6064762dc76f3c154a5821c6b86b9 /rtems/config/4.11/rtems-nios2.bset | |
parent | sb: Change Linux default prefix to "/opt" (diff) | |
download | rtems-source-builder-c88c92d7fc9373ab167369669917f7de7695516e.tar.bz2 |
sb: Change default prefix
Use OS prefix + "rtems" + $rtems_version as the default prefix to
automatically separate different RTEMS versions.
Close #3679.
Diffstat (limited to 'rtems/config/4.11/rtems-nios2.bset')
0 files changed, 0 insertions, 0 deletions