diff options
| author | Michael Adam <obnox@samba.org> | 2012-09-12 17:38:04 +0200 |
|---|---|---|
| committer | Stefan Metzmacher <metze@samba.org> | 2012-09-12 23:52:48 +0200 |
| commit | b9389798314bc1163be7ea8fc89823c2666ecd78 (patch) | |
| tree | 059152ce4ab92f1538e140c1f90c7e56b2985d25 /release-scripts | |
| parent | 3c5d2d5bcf973c4e21407559ef934044930c500e (diff) | |
| download | samba-b9389798314bc1163be7ea8fc89823c2666ecd78.tar.gz | |
release-scripts: run build-manpages-nogit with bash
On debian/ubuntu, the "dash" which is sh, does not
provide pushd/popd...
Signed-off-by: Stefan Metzmacher <metze@samba.org>
Diffstat (limited to 'release-scripts')
| -rwxr-xr-x | release-scripts/build-manpages-nogit | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release-scripts/build-manpages-nogit b/release-scripts/build-manpages-nogit index dbf12117fa7..e5d51efda92 100755 --- a/release-scripts/build-manpages-nogit +++ b/release-scripts/build-manpages-nogit @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # Copyright (C) Michael Adam 2010 # |