diff options
| author |  Stefano Lattarini <stefano.lattarini@gmail.com> | 2013-06-28 19:19:42 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2013-06-28 10:49:26 -0700 |
| commit | 94b540479aba44cfe64c7a5e051dc490179cefff (patch) | |
| tree | 72353a85aaf08025c05ab13699de82f56838b8a7 /contrib/mw-to-git/git-remote-mediawiki.txt | |
| parent | Merge branch 'nd/clone-connectivity-shortcut' (early part) into maint (diff) | |
| download | tgif-94b540479aba44cfe64c7a5e051dc490179cefff.tar.xz | |
configure: fix option help message for --disable-pthreads
The configure option to disable threading is '--disable-pthreads',
not '--without-pthreads'.
Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/mw-to-git/git-remote-mediawiki.txt')
0 files changed, 0 insertions, 0 deletions