diff options
Diffstat (limited to 'ci/profiles.sh')
-rwxr-xr-x | ci/profiles.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/profiles.sh b/ci/profiles.sh index 31140f35..5d7c2cf6 100755 --- a/ci/profiles.sh +++ b/ci/profiles.sh @@ -62,8 +62,9 @@ essential devtest- EOF ;; debian-sid|debian-9|debian-10) sed "s/^/$PKG_FMT /" <<EOF -all devtest- all devtest +all devtest Search::Xapian- +all devtest- v2essential essential essential devtest- |