blob: 18899c3c06ab7b42d991532c3726c199e0e48440 (
plain) (
tree)
|
|
#
# $Id$
#
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.
|