820 |
fi |
fi |
821 |
|
|
822 |
if test "x$ADM" = xt -a "x$COMMAND" = x ; then |
if test "x$ADM" = xt -a "x$COMMAND" = x ; then |
823 |
COMMAND="./$EXECUTABLE > $OUTPUTFILE 2>&1" |
COMMAND="./$EXECUTABLE > $OUTPUTFILE" |
824 |
fi |
fi |
825 |
|
|
826 |
if test "x$COMMAND" = x ; then |
if test "x$COMMAND" = x ; then |
1088 |
echo "UNAMEA='$UNAMEA'" >> $CDIR"/summary.txt" |
echo "UNAMEA='$UNAMEA'" >> $CDIR"/summary.txt" |
1089 |
echo "DATE='$DATE'" >> $CDIR"/summary.txt" |
echo "DATE='$DATE'" >> $CDIR"/summary.txt" |
1090 |
echo "tdir='$dir'" >> $CDIR"/summary.txt" |
echo "tdir='$dir'" >> $CDIR"/summary.txt" |
1091 |
|
grep -A3 'Seconds in section "ALL' $dir/$rundir/$OUTPUTFILE \ |
1092 |
|
>> $CDIR"/summary.txt" |
1093 |
fi |
fi |
1094 |
|
|
1095 |
postclean $dir/$builddir |
postclean $dir/$builddir |