summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarolin Seeger <kseeger@samba.org>2013-05-29 10:25:25 +0200
committerAndrew Bartlett <abartlet@samba.org>2013-05-30 04:48:06 +0200
commit09aaa991ef765405108c09c2059bbae2d897363e (patch)
tree217844159b9403e37af096cd9979ca58a9e0958b
parentfa3cca3fb0ab957604a29feda734f5bc7db7afdc (diff)
downloadsamba-09aaa991ef765405108c09c2059bbae2d897363e.tar.gz
samba-09aaa991ef765405108c09c2059bbae2d897363e.tar.bz2
samba-09aaa991ef765405108c09c2059bbae2d897363e.zip
build-htmlman-nogit: Run build-htmlman-nogit 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> Autobuild-User(master): Andrew Bartlett <abartlet@samba.org> Autobuild-Date(master): Thu May 30 04:48:06 CEST 2013 on sn-devel-104
-rwxr-xr-xrelease-scripts/build-htmlman-nogit2
1 files changed, 1 insertions, 1 deletions
diff --git a/release-scripts/build-htmlman-nogit b/release-scripts/build-htmlman-nogit
index 7e6f0612df..57d0c42336 100755
--- a/release-scripts/build-htmlman-nogit
+++ b/release-scripts/build-htmlman-nogit
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
#
# Copyright (C) Michael Adam 2011
#