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