diff options
Diffstat (limited to 'docker/build_debian.sh')
| -rw-r--r-- | docker/build_debian.sh | 2 |
1 files changed, 1 insertions, 1 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. |