diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/build_debian.sh | 2 | ||||
| -rwxr-xr-x | docker/run_pg_tests.sh | 2 |
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 |