[tor-commits] [metrics-web/master] Change an Ant target name.

[karsten at torproject.org]

commit 79c24bbe373272575ba313d7354c24c294602e5d
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Fri Jan 27 11:43:35 2012 +0100

    Change an Ant target name.
---
 build.xml |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/build.xml b/build.xml
index e148a13..8f57532 100644
--- a/build.xml
+++ b/build.xml
@@ -81,7 +81,7 @@
   </target>
 
   <!-- Create a .war file for deployment. -->
-  <target name="make-war"
+  <target name="war"
           depends="compile">
     <war destfile="${warfile}"
          webxml="${webxmlfile}">