From c2cd1e6d9f05a39c5964dd51670ab3b607502307 Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@samskivert.com>
Date: Mon, 15 Nov 2010 19:38:14 +0000
Subject: [PATCH] Require that a Maven repository be specified. If you want to
 install locally, use "mvn install".

---
 build.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index d15b1a1..b6fe52e 100644
--- a/build.xml
+++ b/build.xml
@@ -126,9 +126,11 @@
     <jar destfile="${deploy.dir}/${lib.name}.jar" basedir="${classes.dir}"/>
   </target>
 
-  <property name="maven.deploy.repo" value="file://${user.home}/.m2/repository"/>
   <target name="maven-deploy" depends="dist,tests" 
           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}/${lib.name}.jar" uniqueVersion="false">
       <remoteRepository url="${maven.deploy.repo}"/>
       <pom refid="pom"/>