mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-08-19 09:10:17 +08:00
This can be used to have a different file name for the same data name. Update #2769
Misc. support tools for RTEMS workspaces.
install-if-change
Smart install script that also can append suffixes as it
installs (suffixes used for debug and profile variants).
Requires bash or ksh.