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