benchmarks/runcds

   1 #!/bin/bash
   2 DIR=`pwd`
   3
   4 echo cdschecker
   5 for i in cdschecker/*
   6 do
   7 echo $i
   8 cd $i
   9 ./bench.sh
  10 cd $DIR
  11 done
  12
  13
  14