summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD3
1 files changed, 2 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 4e5fe728d667..dcb689366c2b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -49,7 +49,8 @@ check() {
PATH="$BOOTSTRAP/bin:$PATH"
LD_LIBRARY_PATH="$BOOSTRAP/lib:$PATH"
- make test
+ PREFIX="$BOOTSTRAP" IDRIS2_PREFIX="$PREFIX" make install
+ PREFIX="$BOOTSTRAP" IDRIS2_PREFIX="$PREFIX" make test
}
package() {