#!/bin/csh -x
if ("$1" != "-q") then
  echo Specify -q for a quiet run
endif
build01 $*
build02 $*
build03 $*
build04 $*
build05 $*
build06 $*
build07 $*
build08 $*
build09 $*
build10 $*
build11 $*
build12 $*


