diff options
| author | Xerxes Rånby <[email protected]> | 2013-01-29 15:13:21 +0100 |
|---|---|---|
| committer | Xerxes Rånby <[email protected]> | 2013-01-29 15:13:21 +0100 |
| commit | b25cb51aa4b15861a44032ddf768979bce3a5967 (patch) | |
| tree | ee32074a51e18fdb35b0f44726fcdf5e67206c51 /make/build.xml | |
| parent | 03e5bba36d7826022ae5d75da96bd3a1dbe0a827 (diff) | |
build.xml: set failonerror="false" for artifact.properties copy
Signed-off-by: Xerxes Rånby <[email protected]>
Diffstat (limited to 'make/build.xml')
| -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"/> |