#! /bin/sh
#
# An EXACT driver that runs a command and prints timing information.
#
#  _________________________________________________________________________
#
#  FAST: Python tools for software testing.
#  Copyright (c) 2008 Sandia Corporation.
#  This software is distributed under the BSD License.
#  Under the terms of Contract DE-AC04-94AL85000 with Sandia Corporation,
#  the U.S. Government retains certain rights in this software.
#  For more information, see the FAST README.txt file.
#  _________________________________________________________________________
#
export TIMEFORMAT="TIMING: ElapsedSeconds %3R CPUUserSeconds %3U CPUSystemSeconds %3S Percent %P"
time $*
