mei_rt2mei_rt2_fix_1
|
Last change
on this file since e205b49 was
519e487,
checked in by Mei <mei@…>, 12 years ago
|
|
1) add more doc to scaling tests
|
-
Property mode set to
100755
|
|
File size:
1.1 KB
|
| Rev | Line | |
|---|
| [373bf68] | 1 | #!/bin/sh |
|---|
| 2 | |
|---|
| 3 | # format, |
|---|
| [519e487] | 4 | # .runall clean |
|---|
| 5 | # .runall run |
|---|
| 6 | # .runall gettime |
|---|
| [373bf68] | 7 | |
|---|
| 8 | progname=$(basename $0) |
|---|
| 9 | pwd=`pwd` |
|---|
| 10 | |
|---|
| 11 | if [ $# -eq 0 ]; then |
|---|
| 12 | echo "Usage: $progname (clean|run)" >&2; |
|---|
| 13 | exit 1 |
|---|
| 14 | fi |
|---|
| 15 | |
|---|
| 16 | ABAC_PROVER_PATH=`which abac_prover_yap | sed 's/\/abac_prover_yap//'` |
|---|
| 17 | export ABAC_PROVER_PATH |
|---|
| 18 | |
|---|
| 19 | if [ "$1" = "clean" ]; then |
|---|
| 20 | rm -rf allout.tmp |
|---|
| 21 | for i in `ls -1 `; do |
|---|
| 22 | if [ -d $i ]; then |
|---|
| 23 | printf "\n ==> CLEANING on %s\n" "$i" >& 2 ; |
|---|
| 24 | cd $i |
|---|
| 25 | ./run_clean |
|---|
| 26 | cd $pwd |
|---|
| 27 | fi |
|---|
| 28 | done |
|---|
| 29 | elif [ "$1" = "run" ] ; then |
|---|
| 30 | for i in `ls -1 `; do |
|---|
| 31 | if [ -d $i ]; then |
|---|
| 32 | printf "\n ==> RUN on %s\n" "$i" ; |
|---|
| 33 | cd $i |
|---|
| 34 | ./run_test |
|---|
| 35 | cd $pwd |
|---|
| 36 | fi |
|---|
| 37 | done |
|---|
| [519e487] | 38 | elif [ "$1" = "gettime" ] ; then |
|---|
| 39 | for i in `ls -1 `; do |
|---|
| 40 | if [ -d $i ]; then |
|---|
| 41 | printf "\n ==> TIME on %s\n" "$i" ; |
|---|
| 42 | cd $i |
|---|
| 43 | for j in `ls -1`; do |
|---|
| 44 | if [ -d $j ]; then |
|---|
| 45 | cd $j |
|---|
| 46 | if [ -f get_time ]; then |
|---|
| 47 | ./get_time |
|---|
| 48 | fi |
|---|
| 49 | fi |
|---|
| 50 | done |
|---|
| 51 | cd $pwd |
|---|
| 52 | fi |
|---|
| 53 | done |
|---|
| [373bf68] | 54 | fi |
|---|
Note: See
TracBrowser
for help on using the repository browser.
