#!/bin/csh
#

./doclean quick
if ( $? > 0 ) then
    echo "doclean script failed, aborting build"
    exit 1
endif
./dobuild