summary refs log tree commit diff
path: root/docker
diff options
context:
space:
mode:
Diffstat (limited to 'docker')
-rw-r--r--docker/build_debian.sh2
-rwxr-xr-xdocker/run_pg_tests.sh2
2 files changed, 2 insertions, 2 deletions
diff --git a/docker/build_debian.sh b/docker/build_debian.sh

index f312f0715f..f426d2b77b 100644 --- a/docker/build_debian.sh +++ b/docker/build_debian.sh
@@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # The script to build the Debian package, as ran inside the Docker image. diff --git a/docker/run_pg_tests.sh b/docker/run_pg_tests.sh
index d18d1e4c8e..1fd08cb62b 100755 --- a/docker/run_pg_tests.sh +++ b/docker/run_pg_tests.sh
@@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # This script runs the PostgreSQL tests inside a Docker container. It expects # the relevant source files to be mounted into /src (done automatically by the