diff options
author | Eric Wong <e@80x24.org> | 2019-05-22 02:14:02 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-05-22 02:14:32 +0000 |
commit | df5446c040b99bf2631e5da226e73a2fa82c7b15 (patch) | |
tree | 0c2787b509391612814686f1c40dd27a7d6361be /ci/profiles.sh | |
parent | 5a14109dadc1e4d38402dc75cdf5af714864ba33 (diff) | |
download | public-inbox-df5446c040b99bf2631e5da226e73a2fa82c7b15.tar.gz |
Tested on an amd64 chroot built with rinse 3.4
Diffstat (limited to 'ci/profiles.sh')
-rwxr-xr-x | ci/profiles.sh | 6 |
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 |