summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorKlaus Alexander Seistrup2024-01-15 10:42:02 +0100
committerKlaus Alexander Seistrup2024-01-15 10:42:02 +0100
commitb215c778030f0e7daa910a411bc0f7f17c856341 (patch)
tree8bb53abd2979c0e3ce704f90caea8a36b15e33fc
parent648312a5c1486646850ea79c138488ccff6dbd45 (diff)
downloadaur-b215c778030f0e7daa910a411bc0f7f17c856341.tar.gz
Reintroduce ‘!makeflags’
-rw-r--r--.SRCINFO3
-rw-r--r--PKGBUILD4
2 files changed, 4 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 0bde030009c5..74695a3632a2 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = jed-git
pkgdesc = Powerful scriptable editor designed for use by programmers (built from latest git commit)
pkgver = 0.99.20.r180.g68f0c75
- pkgrel = 3
+ pkgrel = 4
url = https://www.jedsoft.org/jed/
install = jed-git.install
arch = aarch64
@@ -25,6 +25,7 @@ pkgbase = jed-git
conflicts = xjed
conflicts = rgrep
options = lto
+ options = !makeflags
source = git://git.jedsoft.org/git/jed.git
source = jed-git.install
sha256sums = SKIP
diff --git a/PKGBUILD b/PKGBUILD
index 777a61ff0e7f..da3966b7df20 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
pkgname=('jed-git')
_pkgname="${pkgname/-git/}"
pkgver='0.99.20.r180.g68f0c75'
-pkgrel='3'
+pkgrel='4'
pkgdesc='Powerful scriptable editor designed for use by programmers (built from latest git commit)'
arch=('aarch64' 'armv7h' 'i686' 'x86_64')
url='https://www.jedsoft.org/jed/'
@@ -15,7 +15,7 @@ source=(
license=('GPL')
provides=('jed' 'xjed' 'rgrep')
conflicts=('jed' 'xjed' 'rgrep')
-options=('lto')
+options=('lto' '!makeflags')
depends=(
'fontconfig'
'glibc'