diff options
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 |