diff options
Diffstat (limited to '')
-rw-r--r-- | tools/build/README | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/build/README b/tools/build/README new file mode 100644 index 0000000000..18899c3c06 --- /dev/null +++ b/tools/build/README @@ -0,0 +1,10 @@ +# +# $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. |