summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD4
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index c832a54b7886..e1a969083d63 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = idris2-lsp-git
pkgdesc = Language Server for Idris2
pkgver = latest
- pkgrel = 2
+ pkgrel = 3
url = https://github.com/idris-community/idris2-lsp
arch = x86_64
license = custom:BSD
diff --git a/PKGBUILD b/PKGBUILD
index 5c7962c6e8ac..e6b1974d2864 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
_pkgname=idris2-lsp
pkgname="$_pkgname-git"
pkgver=latest
-pkgrel=2
+pkgrel=3
epoch=
pkgdesc='Language Server for Idris2'
arch=('x86_64')
@@ -37,7 +37,7 @@ build() {
check() {
cd "$srcdir/$_pkgname"
make testbin
- make test-only
+ INTERACTIVE='' make test-only
}
package() {