#!/bin/csh -f

make $*
rm -f *.sync
