mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-09-03 04:30:15 +08:00
Sebastian Huber
0d76cc9f04
Replace --rtems-version with a PROGRAM_PREFIX option. This allows also the use of vendor tools.