diff options
author | Michael Picht | 2024-02-21 15:23:32 +0000 |
---|---|---|
committer | Michael Picht | 2024-02-21 15:23:32 +0000 |
commit | ce77c9c8feae3c084e45dd9db8a61d27305d57dd (patch) | |
tree | a57ce92923fdf7e45f5f48dde0d4774b7930576f /PKGBUILD | |
parent | 3fb8a3575702513600fec1f3958b01a3dd395c33 (diff) | |
download | aur-gnome-shell-extension-top-bar-organizer.tar.gz |
repman: 0.7.2 -> 0.7.4
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -3,7 +3,7 @@ pkgdesc="Gnome: Organize the items of the top (menu)bar" _pkgname="top-bar-organizer" pkgname="gnome-shell-extension-${_pkgname}" pkgver=10 -pkgrel=2 +pkgrel=3 arch=(any) url="https://gitlab.gnome.org/julianschacher/top-bar-organizer" license=(GPL3) @@ -16,6 +16,9 @@ makedepends=( depends=( "gnome-shell>=1:45.0" ) +options=( + !debug +) build() { cd "${_pkgname}-v${pkgver}" || return glib-compile-schemas data/ |