diff options
author | Ralf Corsepius <ralf.corsepius@rtems.org> | 2009-10-16 14:15:29 +0000 |
---|---|---|
committer | Ralf Corsepius <ralf.corsepius@rtems.org> | 2009-10-16 14:15:29 +0000 |
commit | 61a69a567c4ab2a1b36eaec9019df91d641b8486 (patch) | |
tree | f983cd6958bce2b41d2acec0157e703fcaa5a3d1 /c/src/lib/libbsp/bare/build-tools | |
parent | 2009-10-16 Ralf Corsépius <ralf.corsepius@rtems.org> (diff) | |
download | rtems-61a69a567c4ab2a1b36eaec9019df91d641b8486.tar.bz2 |
Remove (Abandoned).
Diffstat (limited to 'c/src/lib/libbsp/bare/build-tools')
-rw-r--r-- | c/src/lib/libbsp/bare/build-tools | 71 |
1 files changed, 0 insertions, 71 deletions
diff --git a/c/src/lib/libbsp/bare/build-tools b/c/src/lib/libbsp/bare/build-tools deleted file mode 100644 index 8ea01d3933..0000000000 --- a/c/src/lib/libbsp/bare/build-tools +++ /dev/null @@ -1,71 +0,0 @@ -# -# $Id$ -# -# Tools to help doing build scripts. Adapted from Joel's bit -# script. -# - -# -# USERCHANGE - uncomment this if you want to watch the commands. -# -# set -x - -start=`date` - -# -# Common exit routine for this script so we can print the starting -# and ending times. -# - -my_exit() -{ - stop=`date` - - echo - echo "Started: " $start - echo "Finished: " $stop - exit $1 -} - -# -# Handle a fatal error. -# - -fatal_error() -{ - echo "ERROR: $*" >&2 - my_exit 1 -} - -# -# Checks the status returned by executables and exits if it is non-zero. -# - -check_fatal() -{ - if [ $1 -ne 0 ] ; then - shift - fatal_error $* - fi -} - -# -# Test for a valid path, exit if not found -# - -test_path() -{ - test -d $* || fatal_error "cannot find $*" - return 0 -} - -# -# Create a directory and check it was made correctly. -# - -checked_mkdir() -{ - mkdir -p $1 - check_fatal $? "unable to make directory $1" - return 0 -} |