34 |
#git_repo="git://github.com/$git_repo" |
#git_repo="git://github.com/$git_repo" |
35 |
#git_repo="git@github.com:$git_repo" |
#git_repo="git@github.com:$git_repo" |
36 |
|
|
37 |
|
#------------------------------------------------------------------- |
38 |
# checkOut=3 : clone from GitHub and make a new copy (if sepDir) |
# checkOut=3 : clone from GitHub and make a new copy (if sepDir) |
39 |
# =2 : update (git pull) repo and make a new copy code (switch to 2 if no repo) |
# =2 : update (git pull) repo and make a new copy code (switch to 3 if no repo) |
40 |
# =1 : skip update but use a new copy (if sepDir) |
# =1 : skip update but use a new copy (if sepDir) |
41 |
# =0 : use existing test code ( switch to 1 if missing test code ) |
# =0 : use existing test code ( switch to 1 if missing test code ) |
42 |
dInWeek=`date +%a` |
dInWeek=`date +%a` |
237 |
if test $sepDir = 1 ; then |
if test $sepDir = 1 ; then |
238 |
new_dir="MITgcm_$typ" |
new_dir="MITgcm_$typ" |
239 |
reUse=0 ; if [ $checkOut -le 0 ] ; then reUse=1 ; fi |
reUse=0 ; if [ $checkOut -le 0 ] ; then reUse=1 ; fi |
240 |
if test -d $new_dir/CVS -a $reUse = 1 ; then |
if test -d $new_dir/doc -a $reUse = 1 ; then |
241 |
cd $tdir/$new_dir |
cd $tdir/$new_dir |
242 |
if test $tt != $typ ; then |
if test $tt != $typ ; then |
243 |
( cd verification ; ../tools/do_tst_2+2 -clean ) |
( cd verification ; ../tools/do_tst_2+2 -clean ) |