diff options
| -rwxr-xr-x | .tools/scripts/init.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.tools/scripts/init.sh b/.tools/scripts/init.sh index 259f1145a..dc333fa64 100755 --- a/.tools/scripts/init.sh +++ b/.tools/scripts/init.sh @@ -175,11 +175,13 @@ function do_init { cd server-code/src ; git checkout master # v2018.09.23 # 2018-09-24 # s20180713? check_error $? echo "Begin diff experiment" + cd .. git diff master s20190408 > x.diff ls head x.diff tail x.diff git apply x.diff + cd src check_error $? gitclone https://gitlab.com/TMW2 evol-hercules.git evol ; cd evol ; git checkout tmw2 ; cd .. check_error $? |