| changeset 793 | 445970ccf57a |
| parent 749 | 7e4843b7efd2 |
| parent 787 | f199e1887889 |
| child 798 | c28f9feb7c2e |
| 792:49ec802b4a16 | 793:445970ccf57a |
|---|---|
45 |
45 |
46 function run_one |
46 function run_one |
47 { |
47 { |
48 rm -f $1.err |
48 rm -f $1.err |
49 export TZ=GMT |
49 export TZ=GMT |
50 D=`mktemp -d` |
50 D=`mktemp -d ${TMP-/tmp}/tmp.XXXXXX` |
51 if [ "$D" = "" ] ; then |
51 if [ "$D" = "" ] ; then |
52 echo mktemp failed! |
52 echo mktemp failed! |
53 fi |
53 fi |
54 |
54 |
55 cd $D |
55 cd $D |