diff options
| author | Karolin Seeger <kseeger@samba.org> | 2013-05-29 10:23:49 +0200 |
|---|---|---|
| committer | Andrew Bartlett <abartlet@samba.org> | 2013-05-30 10:57:40 +1000 |
| commit | fa3cca3fb0ab957604a29feda734f5bc7db7afdc (patch) | |
| tree | 4605e6ae74efde897f4e311f9c6e150c73b97a75 /release-scripts | |
| parent | 737dd2a9fd91a27affd61087639cdc1df21b1cc0 (diff) | |
| download | samba-fa3cca3fb0ab957604a29feda734f5bc7db7afdc.tar.gz | |
build-htmlman-git: Run build-htmlman-git with bash.
On debian/ubuntu, the "dash" which is sh, does not
provide pushd/popd...
Signed-off-by: Karolin Seeger <kseeger@samba.org>
Reviewed-by: Andrew Bartlett <abartlet@samba.org>
Diffstat (limited to 'release-scripts')
| -rwxr-xr-x | release-scripts/build-htmlman-git | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release-scripts/build-htmlman-git b/release-scripts/build-htmlman-git index 50707a4f17e..d85c703f4e1 100755 --- a/release-scripts/build-htmlman-git +++ b/release-scripts/build-htmlman-git @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # Copyright (C) Michael Adam 2011 # |