diff --git a/tools/svn_get_ewf.bat b/tools/svn_get_ewf.bat deleted file mode 100644 index a2f0e7df..00000000 --- a/tools/svn_get_ewf.bat +++ /dev/null @@ -1,46 +0,0 @@ -setlocal -set TMP_EWF_DIR=%1 -if -%TMP_EWF_DIR%- == -- goto end - -:ewf - if exist %TMP_EWF_DIR% goto ewf_update - svn co https://github.com/EiffelWebFramework/EWF/trunk _ewf - move _ewf %TMP_EWF_DIR% - rd /q/s %TMP_EWF_DIR%\doc\wiki - rd /q/s %TMP_EWF_DIR%\contrib\library\server\nino - rd /q/s %TMP_EWF_DIR%\contrib\library\text\parser\json - rd /q/s %TMP_EWF_DIR%\contrib\ise_library\cURL - goto nino -:ewf_update - svn update %TMP_EWF_DIR% - goto nino - -:nino - if exist %TMP_EWF_DIR%\contrib\library\server\nino goto nino_update - svn co https://github.com/EiffelWebFramework/EiffelWebNino/trunk _nino - move _nino %TMP_EWF_DIR%\contrib\library\server\nino - goto json -:nino_update - svn update %TMP_EWF_DIR%\contrib\library\server\nino - goto json - -:json - if exist %TMP_EWF_DIR%\contrib\library\text\parser\json goto json_update - svn co https://github.com/EiffelWebFramework/ejson-svn/trunk _json - move _json %TMP_EWF_DIR%\contrib\library\text\parser\json - goto curl -:json_update - svn update %TMP_EWF_DIR%\contrib\library\text\parser\json - goto curl - -:curl - if exist %TMP_EWF_DIR%\contrib\ise_library\cURL goto curl_update - svn co https://github.com/EiffelSoftware/mirror-Eiffel-cURL/trunk _curl - move _curl %TMP_EWF_DIR%\contrib\ise_library\cURL - goto end -:curl_update - svn update %TMP_EWF_DIR%\contrib\ise_library\cURL - goto end - -:end -endlocal diff --git a/tools/update_git_working_copy.bat b/tools/update_git_working_copy.bat deleted file mode 100644 index 23029f38..00000000 --- a/tools/update_git_working_copy.bat +++ /dev/null @@ -1,10 +0,0 @@ -cd %~dp0.. - -echo Pull changes from origin master -call git pull origin master - -echo Update all submodule recursively -call git submodule update --init --recursive - -echo Checkout master branch for each submodule recursively -call git submodule foreach --recursive git checkout master diff --git a/tools/update_git_working_copy.sh b/tools/update_git_working_copy.sh deleted file mode 100644 index f4f45482..00000000 --- a/tools/update_git_working_copy.sh +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -echo Pull changes from origin master -git pull origin master - -echo Update all submodule recursively -git submodule update --init --recursive - -echo Checkout master branch for each submodule recursively -git submodule foreach --recursive git checkout master