diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -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 @@ -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() { |