The following commit has been merged in the master branch:
commit 332b193ca232ff38b4e77152fdea3c62dfb6e9ff
Author: Gabriele Giacone <[email protected]>
Date: Sat Jun 16 01:18:34 2012 +0200
Move ivy.done=true to d/build.properties.
diff --git a/debian/build.properties b/debian/build.properties
index a24436d..35ccf97 100644
--- a/debian/build.properties
+++ b/debian/build.properties
@@ -9,3 +9,5 @@
config.docbook.catalog=/usr/share/xml/docbook/schema/dtd/4/catalog.xml
config.build.debug=true
config.build.debuglevel=lines,vars,source
+
+ivy.done=true
diff --git a/debian/rules b/debian/rules
index 36790e6..ff3fb98 100755
--- a/debian/rules
+++ b/debian/rules
@@ -23,8 +23,8 @@ override_dh_auto_configure:
override_dh_auto_build:
# build
- ant -Divy.done=true -propertyfile $(PROPERTIES) build
- ant -Divy.done=true -propertyfile $(PROPERTIES) docs-html
+ ant -propertyfile $(PROPERTIES) build
+ ant -propertyfile $(PROPERTIES) docs-html
# upstream changelog
cp build/doc/CHANGES.txt build/doc/changelog
--
jedit - Java plugin-based editor for programmers
_______________________________________________
pkg-java-commits mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
