diff options
author | Michael Laß | 2023-03-06 22:29:11 +0100 |
---|---|---|
committer | Michael Laß | 2023-03-06 22:29:11 +0100 |
commit | ae8c7de0b54c46a8a4b0704249d342b90cf1168d (patch) | |
tree | 4b1ade048fb08db66a79946c811c6a7c19af8719 | |
parent | 3dbe8b2bb08000911fb3a377bcf5deeca7f10697 (diff) | |
download | aur-ae8c7de0b54c46a8a4b0704249d342b90cf1168d.tar.gz |
Do not strip binaries
-rw-r--r-- | .SRCINFO | 3 | ||||
-rw-r--r-- | PKGBUILD | 3 |
2 files changed, 4 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = jdk17-temurin pkgdesc = Temurin 17 (OpenJDK 17 Java binaries by Adoptium, formerly AdoptOpenJDK) pkgver = 17.0.6.u10 - pkgrel = 1 + pkgrel = 2 url = https://adoptium.net/ install = install_jdk17-temurin.sh arch = x86_64 @@ -29,6 +29,7 @@ pkgbase = jdk17-temurin provides = jdk-openjdk=17.0.6.u10 provides = openjdk17-src=17.0.6.u10 provides = openjdk-src=17.0.6.u10 + options = !strip backup = etc/java-17-temurin/logging.properties backup = etc/java-17-temurin/management/jmxremote.access backup = etc/java-17-temurin/management/jmxremote.password.template @@ -10,7 +10,7 @@ _majorver=17 _completever=17.0.6 _updatever=10 -pkgrel=1 +pkgrel=2 pkgver=${_completever}.u${_updatever} _tag_ver=${_completever}+${_updatever} [ $_majorver != $_completever ] && _versuffix=U @@ -54,6 +54,7 @@ backup=(etc/java-${_majorver}-temurin/logging.properties etc/java-${_majorver}-temurin/security/policy/unlimited/default_US_export.policy etc/java-${_majorver}-temurin/sound.properties) install=install_jdk17-temurin.sh +options=(!strip) source=(https://github.com/adoptium/temurin${_majorver}-binaries/releases/download/jdk-${_tag_ver/+/%2B}/OpenJDK${_majorver}${_versuffix}-jdk_x64_linux_hotspot_${_tag_ver/+/_}.tar.gz freedesktop-java.desktop |