#!/bin/csh

# This script does a "make" in each target subdirectory.
# It is useful to run when the Make.main file has changed and
# something needs to be updated in each directory.

foreach d (T0???)
    pushd $d
    make -k >& make.log
    popd
end