about summary refs log tree commit homepage
path: root/ci/profiles.sh
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2019-05-22 02:14:02 +0000
committerEric Wong <e@80x24.org>2019-05-22 02:14:32 +0000
commitdf5446c040b99bf2631e5da226e73a2fa82c7b15 (patch)
tree0c2787b509391612814686f1c40dd27a7d6361be /ci/profiles.sh
parent5a14109dadc1e4d38402dc75cdf5af714864ba33 (diff)
downloadpublic-inbox-df5446c040b99bf2631e5da226e73a2fa82c7b15.tar.gz
Tested on an amd64 chroot built with rinse 3.4
Diffstat (limited to 'ci/profiles.sh')
-rwxr-xr-xci/profiles.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/ci/profiles.sh b/ci/profiles.sh
index 5d7c2cf6..d559ec5f 100755
--- a/ci/profiles.sh
+++ b/ci/profiles.sh
@@ -70,4 +70,10 @@ essential
 essential devtest-
 EOF
         ;;
+centos-7) sed "s/^/$PKG_FMT /" <<EOF
+v2essential devtest
+essential devtest
+all Search::Xapian-
+EOF
+        ;;
 esac