#!/bin/csh -f
#
# domake-check:  check the config directories to see that make succeeded
#
# this needs to be run from the source directory
#
# usage:  domake-check [dir]...
# if no dirs, then it does all dirs.
#
# Part of
#              The STARFISH Parallel file-system simulator
#        (Simulation Tool for Advanced Research in File Systems)
# 
#                               David Kotz
#                           Dartmouth College
#                              Version 3.0
#                              October 1996
#                          dfk@cs.dartmouth.edu

if ($#argv == 0) then
    set dirs=(configs/*)
else
    set dirs=($*)
endif

foreach dir ($dirs)
    if (! (-x $dir/proteus || -x $dir/proteus.gz)) echo not $dir
end
