X-Git-Url: http://www.git.stargrave.org/?a=blobdiff_plain;f=ci%2Fprofiles.sh;h=c891494fda12d6fa0ee8aeb71154a75f2ec01a79;hb=9253dc860de52360d3bc60710422783457143e3d;hp=5d7c2cf6d2297dddf80e5dbc1dc361ce9ed1cda0;hpb=e220b8b2ee5cfd458167dc2c6c92726352c4c80e;p=public-inbox.git
diff --git a/ci/profiles.sh b/ci/profiles.sh
index 5d7c2cf6..c891494f 100755
--- a/ci/profiles.sh
+++ b/ci/profiles.sh
@@ -1,5 +1,5 @@
#!/bin/sh
-# Copyright (C) 2019 all contributors
+# Copyright (C) 2019-2020 all contributors
# License: AGPL-3.0+
# 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 /" <