summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarolin Seeger <kseeger@samba.org>2013-05-29 10:23:49 +0200
committerAndrew Bartlett <abartlet@samba.org>2013-05-30 10:57:40 +1000
commitfa3cca3fb0ab957604a29feda734f5bc7db7afdc (patch)
tree4605e6ae74efde897f4e311f9c6e150c73b97a75
parent737dd2a9fd91a27affd61087639cdc1df21b1cc0 (diff)
downloadsamba-fa3cca3fb0ab957604a29feda734f5bc7db7afdc.tar.gz
samba-fa3cca3fb0ab957604a29feda734f5bc7db7afdc.tar.bz2
samba-fa3cca3fb0ab957604a29feda734f5bc7db7afdc.zip
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>
-rwxr-xr-xrelease-scripts/build-htmlman-git2
1 files changed, 1 insertions, 1 deletions
diff --git a/release-scripts/build-htmlman-git b/release-scripts/build-htmlman-git
index 50707a4f17..d85c703f4e 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
#