| changeset 341 | c0deea64ce64 |
| parent 331 | 55f63f3b6a54 |
| child 350 | b4e0e20646bb |
| 340:97a897d32dfc | 341:c0deea64ce64 |
|---|---|
26 fail=1 |
26 fail=1 |
27 elif ! diff -u $H/$f.out .out > /dev/null ; then |
27 elif ! diff -u $H/$f.out .out > /dev/null ; then |
28 echo $f output changed: |
28 echo $f output changed: |
29 diff -u $H/$f.out .out && true |
29 diff -u $H/$f.out .out && true |
30 cp .out $H/$f.err |
30 cp .out $H/$f.err |
31 fail=1 |
|
31 fi |
32 fi |
32 |
33 |
33 cd $H |
34 cd $H |
34 rm -r $D |
35 rm -r $D |
35 |
36 |