#!/bin/csh -f
if (-e Makefile) then
	make -f Makefile -f Makefile.develop $*
else
	make -f Makefile.develop $*
endif
