#! /bin/csh
#
# Eventually, this script will run all of the examples and report on
# problems
