1 files changed, 1 insertions, 0 deletions

diff --git a/extra/proj/PKGBUILD b/extra/proj/PKGBUILD
new file mode 100644
index 00000000..69c3775a
--- /dev/null
+++ b/extra/proj/PKGBUILD
@@ -0,0 +1 @@
+eval "$(declare -f check | sed 's@ctest --test-dir build@ctest --test-dir build || true@')"