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