No ext_urls

[public-inbox.git] / ci / profiles.sh

diff --git a/ci/profiles.sh b/ci/profiles.sh
index 5d7c2cf6d2297dddf80e5dbc1dc361ce9ed1cda0..3cd8fa38756a4e4aae9a4fd735e0eae91f7e1ab2 100755 (executable)
--- a/ci/profiles.sh
+++ b/ci/profiles.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-# Copyright (C) 2019 all contributors <meta@public-inbox.org>
+# Copyright (C) 2019-2021 all contributors <meta@public-inbox.org>
 # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt>
 
 # Prints OS-specific package profiles to stdout (one per-newline) to use
@@ -68,6 +68,12 @@ all devtest-
 v2essential
 essential
 essential devtest-
+EOF
+       ;;
+centos-7) sed "s/^/$PKG_FMT /" <<EOF
+v2essential devtest
+essential devtest
+all Search::Xapian-
 EOF
        ;;
 esac