#!/bin/bash source devel.bash if [ $#* != "1" -o $#* != "2" ] ; then echo "Usage: ./CASCADE-MADE.sh client|server|all [install|clean|distclean|tarclean]" >&2 exit fi for d in packages src ; do echo "Running $d/CASCADE-MAKE.sh" (cd $d ; ./CASCADE-MAKE.sh $*) if [ $? != 0 ] ; then echo "Error encountered running $d/CASCADE-MAKE.sh" exit 1 fi done if [ $makedist = "1" ] ; then default_toplevel_make_dist $GSDLOS devel.bash fi €ý5 :q!