diff options
| author | Karolin Seeger <kseeger@samba.org> | 2013-05-29 10:25:25 +0200 |
|---|---|---|
| committer | Andrew Bartlett <abartlet@samba.org> | 2013-05-30 04:48:06 +0200 |
| commit | 09aaa991ef765405108c09c2059bbae2d897363e (patch) | |
| tree | 217844159b9403e37af096cd9979ca58a9e0958b /source4/wrepl_server | |
| parent | fa3cca3fb0ab957604a29feda734f5bc7db7afdc (diff) | |
| download | samba-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
Diffstat (limited to 'source4/wrepl_server')
0 files changed, 0 insertions, 0 deletions