summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Ruiz de Alegría2019-08-29 16:19:54 +0200
committerDaniel Ruiz de Alegría2019-08-29 16:19:54 +0200
commit259bc0866da7269c39a58a2fe2ef633b7f56a24e (patch)
treee96c150d316532288f592601a1e800c14e293e89
parent452922fe4d5d817fabed59d27bc531bc881fad0b (diff)
downloadaur-259bc0866da7269c39a58a2fe2ef633b7f56a24e.tar.gz
Disable strip option
-rw-r--r--.SRCINFO1
-rw-r--r--PKGBUILD1
2 files changed, 2 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
index f651794a8aa9..bd575be36ce8 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 3d27e1546afc..d4be347ae46d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')