From 7ed1d113a6890df314fcaed60d44ca09d897a399 Mon Sep 17 00:00:00 2001
From: samskivert <samskivert@6335cc39-0255-0410-8fd6-9bcaacd3b74c>
Date: Fri, 12 Nov 2010 22:47:08 +0000
Subject: [PATCH] Specify a default for the repository that can be overridden.

git-svn-id: https://samskivert.googlecode.com/svn/trunk@2944 6335cc39-0255-0410-8fd6-9bcaacd3b74c
---
 build.xml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/build.xml b/build.xml
index 3de806cf..52eb9b18 100644
--- a/build.xml
+++ b/build.xml
@@ -131,11 +131,9 @@
     <delete dir="${gwtjar.dir}"/>
   </target>
 
+  <property name="maven.deploy.repo" value="file://${user.home}/.m2/repository"/>
   <target name="maven-deploy" depends="dist" 
           description="Deploys our build artifacts to a Maven repository.">
-    <fail unless="maven.deploy.repo">
-      You must specify the Maven Repository location via -Dmaven.deploy.repo=file:///path.
-    </fail>
     <artifact:deploy file="${deploy.dir}/${lib.name}.jar">
       <remoteRepository url="${maven.deploy.repo}"/>
       <pom refid="pom"/>