From e74cde76c104df82b120a7b13964cb786da8f565 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Mon, 22 May 2023 20:18:50 +0200 Subject: community -> extra --- community/swi-prolog/PKGBUILD | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 community/swi-prolog/PKGBUILD (limited to 'community/swi-prolog') diff --git a/community/swi-prolog/PKGBUILD b/community/swi-prolog/PKGBUILD deleted file mode 100644 index 78308eb8..00000000 --- a/community/swi-prolog/PKGBUILD +++ /dev/null @@ -1,11 +0,0 @@ -# do not execute tests in parallel with -j 8! - -eval "$( - declare -f build check | \ - sed ' - s|ctest -j 8|ctest| - ' -)" - -# takes far too long! disabling tests -unset check -- cgit v1.2.3-54-g00ecf