aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2024-04-01 02:03:39 +0200
committerChristian Grothoff <christian@grothoff.org>2024-04-01 02:03:39 +0200
commit966c72f0ebab372a35d163c2b7827ae3e76b7e31 (patch)
tree617c5d447af227abf4245055384f665766491a58
parent20920e81bf0ef7c408e41183f36ee8da2cfa0f0c (diff)
add bash
-rw-r--r--contrib/ci/Containerfile1
-rwxr-xr-xsrc/templating/run-original-tests.sh2
2 files changed, 2 insertions, 1 deletions
diff --git a/contrib/ci/Containerfile b/contrib/ci/Containerfile
index d4e5584f7..7ce9e37e3 100644
--- a/contrib/ci/Containerfile
+++ b/contrib/ci/Containerfile
@@ -7,6 +7,7 @@ RUN apt-get update -yqq && \
autoconf \
autopoint \
curl \
+ bash \
git \
libcurl4-gnutls-dev \
libgcrypt-dev \
diff --git a/src/templating/run-original-tests.sh b/src/templating/run-original-tests.sh
index bacd035f9..f9dbe316c 100755
--- a/src/templating/run-original-tests.sh
+++ b/src/templating/run-original-tests.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
# This file is in the public domain.
set -eux