From cf65c4081950eabe7e8dd4b48459247ce3e43cb9 Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Sat, 27 Jun 1998 20:01:28 +0000 Subject: Bare BSP patch from Chris Johns . He also sent an example bare bsp but we have not decided how to integrate it yet. --- c/src/lib/libbsp/bare/build-tools | 71 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 71 insertions(+) create mode 100644 c/src/lib/libbsp/bare/build-tools (limited to 'c/src/lib/libbsp/bare/build-tools') diff --git a/c/src/lib/libbsp/bare/build-tools b/c/src/lib/libbsp/bare/build-tools new file mode 100644 index 0000000000..8ea01d3933 --- /dev/null +++ b/c/src/lib/libbsp/bare/build-tools @@ -0,0 +1,71 @@ +# +# $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 +} -- cgit v1.2.3