From 32bcd2ac8e38ae3feab06cafd82886c2636d0fa0 Mon Sep 17 00:00:00 2001 From: Evangelos Foutras Date: Sun, 15 Jan 2023 08:52:32 +0000 Subject: [PATCH] Drop options=(debug)/options=('debug') from trunk devtools 20230105-1 enables the debug option by default. A follow-up commit will remove debug from alongside other options. --- PKGBUILD | 1 - 1 file changed, 1 deletion(-) diff --git a/PKGBUILD b/PKGBUILD index 9df45c1..e7fb7ac 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -23,7 +23,6 @@ validpgpkeys=('E0A3EB202F8E57528E13E72FD7574483BB57B18D' # Jonathan Esk-Riddell '0AAC775BB6437A8D9AF7A3ACFE0784117FBCE11D' # Bhushan Shah 'D07BD8662C56CB291B316EB2F5675605C74E02CF' # David Edmundson '1FA881591C26B276D7A5518EEAAF29B42A678C20') # Marco Martin -options=(debug) build() { cmake -B build -S $pkgname-$pkgver \