diff options
| author | James Moger <james.moger@gitblit.com> | 2013-05-10 10:10:55 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2013-05-10 10:10:55 -0400 |
| commit | 4331906443e441be82c9225eea7c46b5c28c97f1 (patch) | |
| tree | 2ea011a1588546e206fc47112790707b6613df87 /build.xml | |
| parent | 7d6328ddfce57df97d7b6dfdeff7e1be031cdb54 (diff) | |
| download | gitblit-4331906443e441be82c9225eea7c46b5c28c97f1.tar.gz gitblit-4331906443e441be82c9225eea7c46b5c28c97f1.zip | |
Clean while compiling to resolve weird type erasure corner-cases
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -144,8 +144,8 @@ outputclass="com.gitblit.Keys"
todir="${project.src.dir}" />
- <!-- Compile project incrementally -->
- <mx:javac scope="compile" clean="false" />
+ <!-- Compile project -->
+ <mx:javac scope="compile" clean="true" />
</target>
|