diff options
Diffstat (limited to 'community')
| -rw-r--r-- | community/swi-prolog/PKGBUILD | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/community/swi-prolog/PKGBUILD b/community/swi-prolog/PKGBUILD new file mode 100644 index 00000000..95d7a59e --- /dev/null +++ b/community/swi-prolog/PKGBUILD @@ -0,0 +1,8 @@ +# do not execute tests in parallel with -j 8! + +eval "$( + declare -f build check | \ + sed ' + s|ctest -j 8|ctest| + ' +)" |