mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00

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