From f866fe5027829abb56fe1b19467d1f5180804c8f Mon Sep 17 00:00:00 2001
From: Chris Wilson <chris+github@qwirx.com>
Date: Sun, 22 Jan 2023 22:10:21 +0000
Subject: [PATCH] Ubuntu 22.10: try libeditreadline-dev instead of
 libeditline-dev

libeditline-dev doesn't seem to be available any more?
---
 .cirrus.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.cirrus.yml b/.cirrus.yml
index 13b17c23d..38576d8db 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -127,6 +127,11 @@ task:
         <<: *standard_gce_instance
         image_project: ubuntu-os-cloud
         image_name: ubuntu-2210-kinetic-amd64-v20230113
+      setup_script:
+        - apt-get update
+        - apt-get install -y git autoconf automake gcc g++ zlib1g-dev libssl-dev libdb-dev libeditreadline-dev make xsltproc libwww-perl libboost-dev
+        - useradd -m build
+        - chown -R build .
   setup_script:
     - apt-get update
     - apt-get install -y git autoconf automake gcc g++ zlib1g-dev libssl-dev libdb-dev libreadline-dev libeditline-dev make xsltproc libwww-perl libboost-dev