diff options
Diffstat (limited to 'dev-java/lz4-java/files/lz4-java-1.8.0-print-os-props.patch')
-rw-r--r-- | dev-java/lz4-java/files/lz4-java-1.8.0-print-os-props.patch | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/dev-java/lz4-java/files/lz4-java-1.8.0-print-os-props.patch b/dev-java/lz4-java/files/lz4-java-1.8.0-print-os-props.patch new file mode 100644 index 000000000000..d4363b6853e4 --- /dev/null +++ b/dev-java/lz4-java/files/lz4-java-1.8.0-print-os-props.patch @@ -0,0 +1,31 @@ +From b8d50d44ba1c0e4b5bf297f7499ad0fb5b82706e Mon Sep 17 00:00:00 2001 +From: Yuan Liao <liaoyuan@gmail.com> +Date: Wed, 19 Jan 2022 10:09:14 -0800 +Subject: [PATCH] build.xml: Add target that prints JVM system properties os.* + +The Gentoo custom JNI Makefile needs some of those properties. + +Signed-off-by: Yuan Liao <liaoyuan@gmail.com> +--- + build.xml | 5 +++++ + 1 file changed, 5 insertions(+) + +diff --git a/build.xml b/build.xml +index b7940ab..96e52ea 100644 +--- a/build.xml ++++ b/build.xml +@@ -62,6 +62,11 @@ + <javaversion atleast="10"/> + </condition> + ++ <target name="os-props" ++ description="echo values of JVM system properties os.* to file os.properties"> ++ <echoproperties prefix="os." destfile="os.properties" /> ++ </target> ++ + <target name="clean" description="clean working copy"> + <delete dir="${build}" /> + <delete dir="${dist}" /> +-- +2.34.1 + |