7 echo "usage: run-tests.sh <server> <login> <workspace>"
12 for i
in .
/t
*-cmd.sh
; do
13 echo $i $SERVER $LOGIN $WORKSPACE
15 $i $SERVER $LOGIN $WORKSPACE
20 if [ "x$SERVER" = "x" ] ||
[ "x$LOGIN" = "x" ] ||
[ "x$WORKSPACE" = "x" ]; then usage
; fi