#! bash 
# Last edited on 2003-03-21 16:36:51 by stolfi

# dirs=( zzz )
# dirs=( 0* 1* )
dirs=( $@ )

for dir in ${dirs[@]}; do
  echo "=== ${dir} ====================================================="
  ( cd ${dir} && ../../../tools/script )
done