diff options
| author | DesWurstes <DesWurstes@users.noreply.github.com> | 2018-06-20 12:54:54 +0300 |
|---|---|---|
| committer | DesWurstes <DesWurstes@users.noreply.github.com> | 2018-06-20 11:12:41 +0300 |
| commit | 000000035b20402dea3e8168165cd4eefdc97539 (patch) | |
| tree | 47913b7023ef6cf8910093853d7b972141b9a9db /contrib/devtools | |
| parent | 3f398d7a17f136cd4a67998406ca41a124ae2966 (diff) | |
Obsolete #!/bin/bash shebang
Diffstat (limited to 'contrib/devtools')
| -rwxr-xr-x | contrib/devtools/gen-manpages.sh | 2 |
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)} |