1#!/bin/csh 2# 3 4./doclean quick 5if ( $? > 0 ) then 6 echo "doclean script failed, aborting build" 7 exit 1 8endif 9./dobuild 10