#!/bin/ksh
#
# A script for running the Diderot benchmark tests.
#
# usage:
#	scripts/run.sh [diderotc] [diderotc-flags] [-- runtime-flags]
#
# @configure_input@
#

function usage {
  echo "usage:"
  echo "  scripts/run.sh [diderotc] [diderotc-flags] [-- runtime-flags]"
  exit $1
}

# this script should be run from the rtest directory
#
HERE=$(pwd)
if [ ! -d $HERE/programs ] ; then
  echo "run script from benchmarks directory"
  exit 1
fi