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