diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2016-08-17 17:58:35 +0200 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2016-08-17 17:58:35 +0200 |
| commit | a99142d7b515b13c288eb9cfae34f0c899f4c04f (patch) | |
| tree | 0b2fdec1638684d887aac03c4bc75895b1d2e51a /community/java-lz4/0001-ivy-location.patch | |
| parent | 87ca2c504aec78f2b93300be70eb3e3953cf4591 (diff) | |
| download | aports-a99142d7b515b13c288eb9cfae34f0c899f4c04f.tar.bz2 aports-a99142d7b515b13c288eb9cfae34f0c899f4c04f.tar.xz | |
community/java-lz4: move from testing
Diffstat (limited to 'community/java-lz4/0001-ivy-location.patch')
| -rw-r--r-- | community/java-lz4/0001-ivy-location.patch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/community/java-lz4/0001-ivy-location.patch b/community/java-lz4/0001-ivy-location.patch new file mode 100644 index 0000000000..f51ffa35e9 --- /dev/null +++ b/community/java-lz4/0001-ivy-location.patch @@ -0,0 +1,21 @@ +From: Jakub Jirutka <jakub@jirutka.cz> +Date: Thu, 7 Apr 2016 21:06:00 +0200 +Subject: [PATCH] Download Ivy to the current directory instead of home + +We don't want to clutter up home directory on the build server, do we? +--- +diff --git a/build.xml b/build.xml +index 841582e..2571f46 100644 +--- a/build.xml ++++ b/build.xml +@@ -56,8 +56,8 @@ + </target> + + <target name="-ivy-install" unless="ivy.available"> +- <mkdir dir="${user.home}/.ant/lib" /> +- <get src="http://repo1.maven.org/maven2/org/apache/ivy/ivy/${ivy.jar.version}/${ivy.jar.name}" dest="${user.home}/.ant/lib/${ivy.jar.name}"/> ++ <mkdir dir=".ant" /> ++ <get src="http://repo1.maven.org/maven2/org/apache/ivy/ivy/${ivy.jar.version}/${ivy.jar.name}" dest=".ant/${ivy.jar.name}"/> + </target> + + <target name="install-cpptasks" unless="cpptasks.available"> |