15 |
minutes=0 |
minutes=0 |
16 |
while test ! "x_"$M_g77"_"$M_ifc"_"$M_pgf77 = x_done_done_done ; do |
while test ! "x_"$M_g77"_"$M_ifc"_"$M_pgf77 = x_done_done_done ; do |
17 |
|
|
18 |
sleep 120 |
sleep 300 |
19 |
minutes=$(( $minutes + 2 )) |
minutes=$(( $minutes + 5 )) |
20 |
|
|
21 |
for i in g77 ifc pgf77 ; do |
for i in g77 ifc pgf77 ; do |
22 |
|
|
41 |
fi |
fi |
42 |
done |
done |
43 |
|
|
44 |
if test $minutes -gt 125 ; then |
hrs=$(( $minutes / 60 )); |
45 |
echo "Time expired with $minutes minutes." |
if test $minutes -gt 600 ; then |
46 |
|
echo "Time expired with $minutes minutes ($hrs hours)." |
47 |
exit 1 |
exit 1 |
48 |
fi |
fi |
49 |
|
|