aboutsummaryrefslogtreecommitdiff
path: root/contrib/devtools
diff options
context:
space:
mode:
authorDesWurstes <DesWurstes@users.noreply.github.com>2018-06-20 12:54:54 +0300
committerDesWurstes <DesWurstes@users.noreply.github.com>2018-06-20 11:12:41 +0300
commit000000035b20402dea3e8168165cd4eefdc97539 (patch)
tree47913b7023ef6cf8910093853d7b972141b9a9db /contrib/devtools
parent3f398d7a17f136cd4a67998406ca41a124ae2966 (diff)
Obsolete #!/bin/bash shebang
Diffstat (limited to 'contrib/devtools')
-rwxr-xr-xcontrib/devtools/gen-manpages.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/gen-manpages.sh b/contrib/devtools/gen-manpages.sh
index 76d4adc81c..b5de5a395f 100755
--- a/contrib/devtools/gen-manpages.sh
+++ b/contrib/devtools/gen-manpages.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
export LC_ALL=C
TOPDIR=${TOPDIR:-$(git rev-parse --show-toplevel)}