From 84497961778bbeaa37c5af10f69f7f5c6a03fc06 Mon Sep 17 00:00:00 2001
From: samskivert <samskivert@6335cc39-0255-0410-8fd6-9bcaacd3b74c>
Date: Thu, 18 Nov 2010 23:06:08 +0000
Subject: [PATCH] Go ahead and make maven-deploy publish locally unless
 otherwise directed.

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

diff --git a/build.xml b/build.xml
index 3ba6e9b4..bb190d4e 100644
--- a/build.xml
+++ b/build.xml
@@ -129,11 +129,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">
-      Must specify Maven repository with -Dmaven.deploy.repo=file://somepath
-    </fail>
     <artifact:deploy file="${deploy.dir}/${ant.project.name}.jar" uniqueVersion="false">
       <remoteRepository url="${maven.deploy.repo}"/>
       <pom refid="pom"/>