Files
rtems/tools/build
Sebastian Huber 2d0bc839ed build: Remove EXTRA_DIST
A "make dist" is not supported. So, it makes no sense to have pure "make
dist" related stuff in the Makefile.am.
2018-04-04 10:09:04 +02:00
..
2014-12-02 13:05:30 +01:00
2018-01-25 08:45:26 +01:00
2018-04-04 10:09:04 +02:00

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.