diff options
author | Klaus Alexander Seistrup | 2024-01-15 10:42:02 +0100 |
---|---|---|
committer | Klaus Alexander Seistrup | 2024-01-15 10:42:02 +0100 |
commit | b215c778030f0e7daa910a411bc0f7f17c856341 (patch) | |
tree | 8bb53abd2979c0e3ce704f90caea8a36b15e33fc | |
parent | 648312a5c1486646850ea79c138488ccff6dbd45 (diff) | |
download | aur-b215c778030f0e7daa910a411bc0f7f17c856341.tar.gz |
Reintroduce ‘!makeflags’
-rw-r--r-- | .SRCINFO | 3 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 3 deletions
@@ -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 @@ -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' |