diff options
Diffstat (limited to 'dev-java/jinput/files/nostrip.patch')
| -rw-r--r-- | dev-java/jinput/files/nostrip.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/dev-java/jinput/files/nostrip.patch b/dev-java/jinput/files/nostrip.patch new file mode 100644 index 000000000000..8627c0d12251 --- /dev/null +++ b/dev-java/jinput/files/nostrip.patch @@ -0,0 +1,12 @@ +--- plugins/linux/src/native/build.xml.orig 2013-03-25 18:01:56.000000000 +0000 ++++ plugins/linux/src/native/build.xml 2015-04-12 17:36:36.020105790 +0100 +@@ -46,9 +46,6 @@ + <arg line="-shared -O2 -Wall -o ${libname}"/> + <fileset dir="." includes="*.o"/> + </apply> +- <apply dir="." parallel="true" executable="strip" os="Linux" failonerror="true"> +- <fileset file="${libname}"/> +- </apply> + </target> + </project> + |