diff options
author | Marcin Floryan <marcin.floryan@gmail.com> | 2012-10-31 15:26:39 +0000 |
---|---|---|
committer | James Moger <james.moger@gitblit.com> | 2012-11-02 17:03:49 -0400 |
commit | 1370d424a794ec191966b81f4f975161a38895dc (patch) | |
tree | f9331e2cdf3c8f8949fa00d0a274c2510abb596f /build.xml | |
parent | 53952358491f093e1e40fce4f30b1c034d9c98a9 (diff) | |
download | gitblit-1370d424a794ec191966b81f4f975161a38895dc.tar.gz gitblit-1370d424a794ec191966b81f4f975161a38895dc.zip |
A failure to download dependencies fails the build. Otherwise we proceed with lots of errors anyway.
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -128,7 +128,7 @@ <include name="com/gitblit/utils/StringUtils.java" />
</javac>
- <java classpath="${project.build.dir}" classname="com.gitblit.build.Build">
+ <java classpath="${project.build.dir}" classname="com.gitblit.build.Build" failonerror="true">
<syspropertyset id="proxy.properties">
<propertyref prefix="java.net.useSystemProxies"/>
<propertyref prefix="http."/>
|