Parent Directory
|
Revision Log
|
Revision Graph
|
Patch
revision 1.57 by jmc, Tue May 30 04:39:17 2023 UTC | revision 1.58 by jmc, Wed Jan 3 00:40:41 2024 UTC | |
---|---|---|
# | Line 114 make_resdir_list() | Line 114 make_resdir_list() |
114 | MTH=0 | MTH=0 |
115 | UR4=0 | UR4=0 |
116 | if test -r $dir/summary.txt ; then | if test -r $dir/summary.txt ; then |
117 | TAPENAD=`grep -c ' Tapenade$' $dir/summary.txt` | TAPENAD=`grep -c ' generated by Tapenade' $dir/summary.txt` |
118 | ADJOINT=`grep -c -i '^ADJOINT' $dir/summary.txt` | ADJOINT=`grep -c -i '^ADJOINT' $dir/summary.txt` |
119 | TANGLIN=`grep -c -i '^TANGLIN' $dir/summary.txt` | TANGLIN=`grep -c -i '^TANGLIN' $dir/summary.txt` |
120 | if test "x$ADJOINT" = x1 ; then | if test "x$ADJOINT" = x1 ; then |
|
ViewVC Help | |
Powered by ViewVC 1.1.22 |