Commit 03a76083 authored by Ubbo Veentjer's avatar Ubbo Veentjer
Browse files

Merge branch 'develop' of into develop

parents 5d989813 6d04fe12
......@@ -328,27 +328,27 @@
<available file="${fontane.sadeproject.dest}" type="dir" />
<echo message="updating textgrid-default-project git repository" />
<echo message="[fontane] updating project data git repository" />
<exec executable="git" dir="${fontane.sadeproject.dest}">
<arg value="pull"/>
<echo message="cloning ${fontane.sadeproject.git}" />
<echo message="[fontane] cloning ${fontane.sadeproject.git}" />
<git:git directory="${fontane.sadeproject.dest}" verbose="false">
<git:clone uri="${fontane.sadeproject.git}" />
<git:checkout branchName="${fontane.sadeproject.git.branch}" />
<echo message="injecting credentials" />
<echo message="[fontane] injecting credentials" />
<copy file="${fontane.sadeproject.credentials}" tofile="${fontane.sadeproject.dest}/credentials.txt"/>
<echo message="packaging sade-project-develop.xar" />
<echo message="[fontane] packaging sade-project-develop.xar" />
<equals arg1="${}" arg2="fastdeploy" />
<echo message="preparing for faster deployment" />
<echo message="[fontane] preparing for faster deployment" />
<ant antfile="${fontane.sadeproject.dest}/build.xml" target="fastdeploy" inheritAll="false" />
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment