#!/bin/csh -f
#
# domake-all:  make all the config directories
#
# this needs to be run from the source directory
#
# usage:  domake-all [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 2.0
#                              January 1995
#                          dfk@cs.dartmouth.edu

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

# where the compilation takes place
set compile=../test

foreach dir ($dirs)
    echo ----------------------------------------------------
    echo $dir
    echo ""

    if (-x $dir/proteus || -x $dir/proteus.gz) continue

    domake-one $dir  &&  gzip $dir/proteus

    echo ""
end

echo check: 
domake-check $dirs
