diff options
Diffstat (limited to 'make')
| -rwxr-xr-x | make/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index 32f5359..42c1d05 100755 --- a/make/build.xml +++ b/make/build.xml @@ -646,7 +646,7 @@ </target> <target name="tag.build"> - <copy file="${gluegen.build}/artifact.properties" todir="${build}" overwrite="true"/> + <copy file="${gluegen.build}/artifact.properties" todir="${build}" overwrite="true" failonerror="false"/> <echo message='joal.build.number=${joal.build.number}${line.separator}' file="${build}/artifact.properties" append="true"/> <echo message='joal.build.id=${joal.build.id}${line.separator}' file="${build}/artifact.properties" append="true"/> <echo message='joal.build.branch=${joal.build.branch}${line.separator}' file="${build}/artifact.properties" append="true"/> |