diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-23 00:07:34 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-23 00:07:34 -0500 |
| commit | 6cb23a1996a4873273f0ad58cd5dbe3fc49236ee (patch) | |
| tree | 10839a9946058bdb5490f3bd9f83d5ef03590210 | |
| parent | 7c1975d85b5a8a8539c1ab9d097a200eebb0b437 (diff) | |
jna: minor fix
| -rw-r--r-- | pcr/jna/PKGBUILD | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pcr/jna/PKGBUILD b/pcr/jna/PKGBUILD index 0c1887a82..751ba695f 100644 --- a/pcr/jna/PKGBUILD +++ b/pcr/jna/PKGBUILD @@ -19,7 +19,6 @@ prepare() { rm -rv {dist,lib,www} rm -rv native/libffi rm -v w32ce-test.lnk - sed -i 's/1\.9/1\.10/g' pom-jna.xml patch -Np1 -i "${srcdir}/jna-disable_full_jar.patch" } |