changeset 608 | d2994b5298fb |
parent 547 | 4fc63e22b1fe |
child 749 | 7e4843b7efd2 |
607:94744f6fe0e7 | 608:d2994b5298fb |
---|---|
49 echo mktemp failed! |
49 echo mktemp failed! |
50 fi |
50 fi |
51 |
51 |
52 cd $D |
52 cd $D |
53 fail=0 |
53 fail=0 |
54 export HOME=$D |
|
54 |
55 |
55 if ! $H/$1 > .out 2>&1 ; then |
56 if ! $H/$1 > .out 2>&1 ; then |
56 echo $1 failed with error code $? |
57 echo $1 failed with error code $? |
57 fail=1 |
58 fail=1 |
58 fi |
59 fi |