diff options
author | Daniel Ruiz de Alegría | 2019-08-29 16:19:54 +0200 |
---|---|---|
committer | Daniel Ruiz de Alegría | 2019-08-29 16:19:54 +0200 |
commit | 259bc0866da7269c39a58a2fe2ef633b7f56a24e (patch) | |
tree | e96c150d316532288f592601a1e800c14e293e89 | |
parent | 452922fe4d5d817fabed59d27bc531bc881fad0b (diff) | |
download | aur-259bc0866da7269c39a58a2fe2ef633b7f56a24e.tar.gz |
Disable strip option
-rw-r--r-- | .SRCINFO | 1 | ||||
-rw-r--r-- | PKGBUILD | 1 |
2 files changed, 2 insertions, 0 deletions
@@ -7,6 +7,7 @@ pkgbase = flat-remix-gnome arch = any license = CC-BY-SA-4.0 depends = gnome-shell + options = !strip source = https://github.com/daniruiz/flat-remix-gnome/archive/20190829.tar.gz sha256sums = SKIP @@ -9,6 +9,7 @@ depends=(gnome-shell) install=flat-remix-gnome.install url="https://drasite.com/flat-remix-gnome" license=('CC-BY-SA-4.0') +options=('!strip') source=("https://github.com/daniruiz/${pkgname}/archive/${pkgver}.tar.gz") sha256sums=('SKIP') |