commit | b95d2ae6c40faa45a68f2566df8e4ebb8b25d4fe | [log] [tgz] |
---|---|---|
author | avinogradov <avinogradov@gridgain.com> | Tue May 12 15:32:51 2015 +0300 |
committer | avinogradov <avinogradov@gridgain.com> | Tue May 12 15:32:51 2015 +0300 |
tree | 83260fce616c120f7018a8cf84352e89620a1710 | |
parent | a4c96535d61b1473ea6967be60bdabc6fec2cd5c [diff] |
KEYS file is optional since this moment
diff --git a/pom.xml b/pom.xml index 451812a..0643227 100644 --- a/pom.xml +++ b/pom.xml
@@ -573,7 +573,7 @@ <include name="**/*" /> </fileset> </copy> - <copy file="${basedir}/KEYS" todir="${basedir}/target/site" /> + <copy file="${basedir}/KEYS" todir="${basedir}/target/site" failonerror="false"/> </target> </configuration> </execution>