diff options
| author | MithicSpirit | 2024-03-09 22:12:41 -0500 |
|---|---|---|
| committer | MithicSpirit | 2024-03-09 22:12:41 -0500 |
| commit | eaddde0c5b2096f1a8f2b64503521bd4defb135e (patch) | |
| tree | 63dc574bd1ad805793752e2ea58d9acc1a4e5c6f | |
| parent | 6d316f37bbcfda539911e0eade2b55c76e64994b (diff) | |
| download | aur-idris2-lsp-git.tar.gz | |
make tests non-interactive
does not wait for input if tests fail.
| -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() { |