diff options
author | Michael Adam <obnox@samba.org> | 2012-09-12 17:37:17 +0200 |
---|---|---|
committer | Stefan Metzmacher <metze@samba.org> | 2012-09-12 23:52:45 +0200 |
commit | 3c5d2d5bcf973c4e21407559ef934044930c500e (patch) | |
tree | 9a9170a46d9a402f076936224a0b54119fb1cc52 | |
parent | cfdab79729e8507a7504b0224c60454d3bc40ffc (diff) | |
download | samba-3c5d2d5bcf973c4e21407559ef934044930c500e.tar.gz samba-3c5d2d5bcf973c4e21407559ef934044930c500e.tar.bz2 samba-3c5d2d5bcf973c4e21407559ef934044930c500e.zip |
release-scripts: run build-manpages-git with bash
On debian/ubuntu, the "dash" which is sh, does not
provide pushd/popd...
Signed-off-by: Stefan Metzmacher <metze@samba.org>
-rwxr-xr-x | release-scripts/build-manpages-git | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release-scripts/build-manpages-git b/release-scripts/build-manpages-git index 0f3568d4bb..af4734d048 100755 --- a/release-scripts/build-manpages-git +++ b/release-scripts/build-manpages-git @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # Copyright (C) Michael Adam 2010 # |