Merge remote-tracking branch 'origin/ci-improvements' into integration_2022_wk03_b

2022-01-19 15:42:09 +01:00
parent c9a8b466fb 425bb14900
commit 5c74bca5b5
22 changed files with 139 additions and 244 deletions
@@ -756,6 +756,7 @@ check_install_oai_software() {
 	libidn11-dev \
 	libmysqlclient-dev  \
 	libpython2.7-dev \
+        libreadline-dev \
 	libsctp1  \
 	libsctp-dev  \
 	libssl-dev  \
@@ -842,6 +843,7 @@ check_install_oai_software() {
      patch \
      psmisc \
      python \
+      readline-devel \
      subversion \
      xmlstarlet \
      python-pip \