git.samba.org / obnox / samba / samba-obnox.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 737dd2a)
build-htmlman-git: Run build-htmlman-git with bash.
authorKarolin Seeger <kseeger@samba.org>
Wed, 29 May 2013 08:23:49 +0000 (10:23 +0200)
committerAndrew Bartlett <abartlet@samba.org>
Thu, 30 May 2013 00:57:40 +0000 (10:57 +1000)
    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>
release-scripts/build-htmlman-git patch | blob | history

diff --git a/release-scripts/build-htmlman-git b/release-scripts/build-htmlman-git
index 50707a4f17e53ae40c7a2956d087fa02bd63f896..d85c703f4e171893de7ed3e397d2622655c65fe7 100755 (executable)
--- 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
 #
Michael's Samba GIT