set WAR name in install properties, not build properties

[java-idp.git] / build.properties

diff --git a/build.properties b/build.properties
index 94c58d5..1ed6cbe 100644 (file)
--- a/build.properties
+++ b/build.properties
@@ -41,6 +41,5 @@ base-package.name = identityprovider
 version = trunk\r
 dist.dir=${basedir}/dist\r
 jar.name=${base-package.name}-${version}-jdk-${jdk.target}.jar\r
-war.name=${base-package.name}-${version}-jdk-${jdk.target}.war\r
 src-dist.name=${base-package.name}-${version}-jdk-${jdk.target}-src\r
 bin-dist.name=${base-package.name}-${version}-jdk-${jdk.target}-bin
\ No newline at end of file