1 |
#!/bin/bash |
#! /usr/bin/env bash |
2 |
# |
# |
3 |
# $Header$ |
# $Header$ |
4 |
# $Name$ |
# $Name$ |
81 |
echo testoutput_for_prop: grep "$2" $1/$4/output.txt 1>&2 |
echo testoutput_for_prop: grep "$2" $1/$4/output.txt 1>&2 |
82 |
fi |
fi |
83 |
if [ -r $1/$4/output.txt ]; then |
if [ -r $1/$4/output.txt ]; then |
84 |
grep "$2" $1/$4/output.txt | sed 's/.*=//' | nl > tmp1.txt |
grep "$2" $1/$4/output.txt | sed 's/.*=//' | cat -n > tmp1.txt |
85 |
lncnt=`wc -l tmp1.txt | awk '{print $1}' ` |
lncnt=`wc -l tmp1.txt | awk '{print $1}' ` |
86 |
if [ $lncnt -lt 3 ]; then |
if [ $lncnt -lt 3 ]; then |
87 |
if [ $verbose -gt 0 ]; then |
if [ $verbose -gt 0 ]; then |
96 |
if [ $debug -gt 0 ]; then |
if [ $debug -gt 0 ]; then |
97 |
echo testoutput_for_prop: grep "$2" $1/results/output.txt 1>&2 |
echo testoutput_for_prop: grep "$2" $1/results/output.txt 1>&2 |
98 |
fi |
fi |
99 |
grep "$2" $1/results/output.txt | sed 's/.*=//' | nl > tmp2.txt |
grep "$2" $1/results/output.txt | sed 's/.*=//' | cat -n > tmp2.txt |
100 |
lncnt=`wc -l tmp2.txt | awk '{print $1}' ` |
lncnt=`wc -l tmp2.txt | awk '{print $1}' ` |
101 |
if [ $lncnt -lt 3 ]; then |
if [ $lncnt -lt 3 ]; then |
102 |
if [ $verbose -gt 0 ]; then |
if [ $verbose -gt 0 ]; then |
516 |
-nodepend | --nodepend | -nd | --nd) |
-nodepend | --nodepend | -nd | --nd) |
517 |
NODEPEND=t ;; |
NODEPEND=t ;; |
518 |
|
|
519 |
-mpi) MPI=true ;; |
-mpi) MPI=t ;; |
520 |
|
|
521 |
-ieee) IEEE=true ;; |
-ieee) IEEE=true ;; |
522 |
-noieee) IEEE= ;; |
-noieee) IEEE= ;; |
580 |
fi |
fi |
581 |
SUMMARY="$DRESULTS/summary.txt" |
SUMMARY="$DRESULTS/summary.txt" |
582 |
echo -n "Start time: " >> $SUMMARY |
echo -n "Start time: " >> $SUMMARY |
583 |
date > $SUMMARY |
start_date=`date` |
584 |
date > dfile |
echo $start_date > $SUMMARY |
585 |
cat << EOF >> $SUMMARY |
cat << EOF >> $SUMMARY |
586 |
T S U V |
T S U V |
587 |
G D M c m s m s m s m s |
G D M c m s m s m s m s |
749 |
done |
done |
750 |
|
|
751 |
echo -n "Start time: " >> $SUMMARY |
echo -n "Start time: " >> $SUMMARY |
752 |
date -r dfile >> $SUMMARY |
echo $start_date >> $SUMMARY |
753 |
echo -n "End time: " >> $SUMMARY |
echo -n "End time: " >> $SUMMARY |
754 |
date >> $SUMMARY |
date >> $SUMMARY |
755 |
|
|
756 |
rm tmp_cmpnum.f a.out dfile |
rm tmp_cmpnum.f a.out |
757 |
|
|
758 |
if test "x$CLEANUP" != xt ; then |
if test "x$CLEANUP" != xt ; then |
759 |
cat $SUMMARY |
cat $SUMMARY |
760 |
|
if test -e tr.out ; then |
761 |
|
mv tr.out tr.out.old |
762 |
|
fi |
763 |
|
cat $SUMMARY > tr.out |
764 |
fi |
fi |
765 |
|
|