Added script for svn repo mirroring.

Updated deliv config files.
2018-09-24 11:26:56 +02:00
parent 6ef4f1e8a8
commit ffa5f06e3d
21 changed files with 377 additions and 4 deletions
@@ -10,6 +10,15 @@ iff not defined WORK_DIR then
 	set WORK_DIR=%~dp0..\..\_DELIV
 endiff

+set LOCAL_REPO_ROOT=%~dp0..\..\..\repos\mirrors
+set "LOCAL_REPO_ROOT=%LOCAL_REPO_ROOT:\=/%"
+iff not defined DEFAULT_PUBLIC_SVN then
+	set DEFAULT_PUBLIC_SVN=file:///%LOCAL_REPO_ROOT%/svn/eiffelstudio/trunk
+endiff
+iff not defined DEFAULT_ISE_SVN then
+	set DEFAULT_ISE_SVN=file:///%LOCAL_REPO_ROOT%/svn/ise/trunk
+endiff
+
 rem set ISE_EC_FLAGS=-full

 set DELIV_SKIP_ERROR="True"