diff options
Diffstat (limited to 'run.sh')
-rwxr-xr-x | run.sh | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -0,0 +1,13 @@ +#!/bin/sh + +VERSION=$1 +OLDDIR=`pwd` + +for i in `ls | grep "^[0-9]*$"` +do + cd $i + if [ -f ./regr/testcase ];then + ./regr/testcase $VERSION + fi + cd $OLDDIR +done |