#!/bin/csh -f

# $Id: RunHammer,v 1.1.1.1 2000/11/29 13:19:40 dredd Exp $
#
# $Source: /cvsroot/hammerhead/hammerhead/bin/RunHammer,v $
# $Revision: 1.1.1.1 $
# $Date: 2000/11/29 13:19:40 $
# $State: Exp $
#

if ( $#argv != 2 ) then
	echo "Usage: $0 <config file> <output-file>"
	exit 0
endif

hammerhead $1 > $2