diff options
author | Lubosz Sarnecki | 2020-01-17 16:16:53 +0100 |
---|---|---|
committer | Lubosz Sarnecki | 2020-01-17 16:16:53 +0100 |
commit | ae228ceef0c2d5a041b783809cc0175eeadfc5e2 (patch) | |
tree | 1b959ad1d5ccb4b865477859d4a9cc4b56d0c313 | |
parent | 55bf7f7eceb1665547a5f2b065932074d07d0794 (diff) | |
download | aur-ae228ceef0c2d5a041b783809cc0175eeadfc5e2.tar.gz |
Remove debug symbols and strip.
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 1 |
2 files changed, 0 insertions, 3 deletions
@@ -39,8 +39,6 @@ pkgbase = gnome-shell-xrdesktop-git optdepends = evolution-data-server: Evolution calendar integration provides = gnome-shell=3.34.3 conflicts = gnome-shell - options = debug - options = !strip source = gnome-shell::git+https://gitlab.freedesktop.org/xrdesktop/gnome-shell.git#branch=3.34.3-xrdesktop source = git+https://git.gnome.org/browse/libgnome-volume-control sha256sums = SKIP @@ -26,7 +26,6 @@ source=($basename::"git+https://gitlab.freedesktop.org/xrdesktop/gnome-shell.git sha256sums=('SKIP' 'SKIP') -options=('debug' '!strip') pkgver() { cd $basename |