#! /bin/tcsh -f
 
set HERE=`dirname "$0"`

\rm -Rf ${HERE}/../binaries 
\rm -f ${HERE}/../config/config*


