Changeset 5535 for branches/UKMO/dev_r5107_eorca025_closea/NEMOGCM/TOOLS/MISCELLANEOUS/chk_wrk_alloc.sh

Timestamp:

2015-07-02T16:00:36+02:00 (9 years ago)

Author:

davestorkey

Message:

Update UKMO/dev_r5107_eorca025_closea branch to rev 5518 of trunk
(= branching point of NEMO 3.6_stable).

File:

• branches/UKMO/dev_r5107_eorca025_closea/NEMOGCM/TOOLS/MISCELLANEOUS/chk_wrk_alloc.sh (modified) (2 diffs)

branches/UKMO/dev_r5107_eorca025_closea/NEMOGCM/TOOLS/MISCELLANEOUS/chk_wrk_alloc.sh

@@ -18 +18 @@
 for ff in $( grep -il "^ *use  *wrk_nemo" $( find . -name "*90" )  $( find . -name "*h90" ) )
 do
+    ierr=0
+    
     # number of lines with wrk_alloc
     n1=$( grep -ic "call *wrk_alloc *(" $ff )
@@ -28 +30 @@
    n2=$( sed -e "s/wrk_alloc/wrk_dealloc/" $ff | grep -ic "call *wrk_dealloc *(" )
    # we should get n2 = 2 * n1...
-   [ $(( 2 * $n1 )) -ne $n2 ] && echo "problem with wrk_alloc in $ff" 
-   
+   if [ $(( 2 * $n1 )) -ne $n2 ]
+   then
+       ierr=1
+       echo "problem with wrk_alloc in $ff" 
+   fi
    # same story but for wrk_dealloc
    nn2=$( sed -e "s/wrk_dealloc/wrk_alloc/" $ff | grep -ic "call *wrk_alloc *(" )
    if [ $(( 2 * $nn1 )) -ne $nn2 ]
    then
-       echo "problem with wrk_dealloc in $ff"
+       ierr=1
+       echo "problem with wrk_dealloc in $ff" 
+   fi
+
+   if [ $ierr -eq 0 ] # check that wrk_alloc block is the same as wrk_dealloc block
+   then
+       grep -i "call *wrk_alloc *("   $ff | sed -e "s/ //g" | sed -e "s/!.*//g" > txt1$$
+       grep -i "call *wrk_dealloc *(" $ff | sed -e "s/wrk_dealloc/wrk_alloc/"  | sed -e "s/ //g" | sed -e "s/!.*//g" > txt2$$
+       cmp txt1$$ txt2$$
+       if [ $? -ne 0 ]
+       then
+      echo "different syntax in wrk_alloc and wrk_dealloc in $ff"
+      echo
+      for ll in $( seq 1 $n1 )  # compare each line
+      do
+          sed -n ${ll}p txt1$$ > ll1$$
+          sed -n ${ll}p txt2$$ > ll2$$
+          cmp ll1$$ ll2$$ > /dev/null
+          if [ $? -ne 0 ]
+          then
+         grep -i "call *wrk_alloc *("   $ff | sed -n ${ll}p
+         grep -i "call *wrk_dealloc *(" $ff | sed -n ${ll}p
+         echo
+          fi
+          rm -f ll1$$ ll2$$
+      done
+       fi
+       rm -f txt1$$ txt2$$
+   else
        grep -i "call *wrk_alloc *(" $ff
-       grep -i "call *wrk_dealloc *(" $ff
+       echo
+       grep -i "call *wrk_dealloc *(" $ff 
        echo
    fi
+   
     fi