diff options
| author | iwakeh <iwakeh@torproject.org> | 2017-01-04 12:51:41 +0100 |
|---|---|---|
| committer | iwakeh <iwakeh@torproject.org> | 2017-01-04 12:51:41 +0100 |
| commit | df833f880ef50dbd5cf1d6c52d9df2166ca1e799 (patch) | |
| tree | 7eb67b838d659b3afc6b1b1fe5bedfde0e667c4f | |
| parent | 46d5c6489db728676b1993be3515763d1459e046 (diff) | |
squash! squash! Implements task-20596: use metrics-base and reduced build.xml, added executable bootstrap script. Removed obsolete DESIGN document and metrics_checks.xml.
Make target war run before signing.
| -rw-r--r-- | build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -26,6 +26,7 @@ <property name="jarincludes" value="logback.xml" /> <property name="jarpatternprop" value="library" /> <property name="additional2sign" value="${warfile}" /> + <property name="tardepends" value="war" /> <target name="coverage-check"> <cobertura-check branchrate="0" linerate="0" |