source:
branches/2013/dev_r3867_MERCATOR1_DYN/NEMOGCM/TOOLS/MISCELLANEOUS/chk_wrk_alloc.sh
@
6339
Last change on this file since 6339 was 3294, checked in by rblod, 12 years ago | |
---|---|
|
|
File size: 1.1 KB |
Line | |
---|---|
1 | #!/bin/bash |
2 | # |
3 | # purpose: |
4 | # small script to check in all *90 files of the current directory and subdirectories |
5 | # if all lines with wrk_alloc have their corresponding lines with wrk_dealloc |
6 | # |
7 | # use: |
8 | # call chk_wrk_alloc.sh from the directory you want to check |
9 | # |
10 | # example: |
11 | # cd ~/dev_NEMO_MERGE_2011/NEMOGCM/NEMO |
12 | # ../TOOLS/MISCELLANEOUS/chk_wrk_alloc.sh |
13 | # |
14 | set -ue |
15 | # |
16 | echo "check for all *90 files contained in "$( pwd )" and its subdirectories" |
17 | # |
18 | for ff in $( grep -il wrk_nemo_2 $( find . -name "*90" ) ) |
19 | do |
20 | |
21 | # number of lines with wrk_alloc |
22 | n1=$( grep -ic "call *wrk_alloc *(" $ff ) |
23 | # replace wrk_alloc with wrk_dealloc and count the lines |
24 | n2=$( sed -e "s/wrk_alloc/wrk_dealloc/" $ff | grep -ic "call *wrk_dealloc *(" ) |
25 | # we should get n2 = 2 * n1... |
26 | [ $(( 2 * $n1 )) -ne $n2 ] && echo "problem with wrk_alloc in $ff" |
27 | |
28 | # same story but for wrk_dealloc |
29 | n1=$( grep -ic "call *wrk_dealloc *(" $ff ) |
30 | n2=$( sed -e "s/wrk_dealloc/wrk_alloc/" $ff | grep -ic "call *wrk_alloc *(" ) |
31 | [ $(( 2 * $n1 )) -ne $n2 ] && echo "problem with wrk_dealloc in $ff" |
32 | |
33 | done |
Note: See TracBrowser
for help on using the repository browser.