build-tools

RTEMS (Real-Time Executive for Multiprocessor Systems) is a free open source real-time operating sys

#
# $Id: build-tools,v 1.1 1998/06/27 20:01:28 joel Exp $
#
# 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
}