diff options
| author | practicalswift <practicalswift@users.noreply.github.com> | 2017-10-04 21:32:21 +0200 |
|---|---|---|
| committer | practicalswift <practicalswift@users.noreply.github.com> | 2017-10-18 17:10:23 +0200 |
| commit | 193c2fb4c88fbc4e0b19033ed9c0351ac1f02269 (patch) | |
| tree | 300e89377de94192bc3af3107cf01bf39deaa464 /contrib/devtools | |
| parent | 80f5f28d38e59b550ab7e7465cfa48defee343a6 (diff) | |
Use bash instead of POSIX sh. POSIX sh does not support arrays.
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 967717e1e0..925d6a6252 100755 --- a/contrib/devtools/gen-manpages.sh +++ b/contrib/devtools/gen-manpages.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash TOPDIR=${TOPDIR:-$(git rev-parse --show-toplevel)} SRCDIR=${SRCDIR:-$TOPDIR/src} |