From: Yann Dirson <ydirson@free.fr>
Date: Sun, 13 Oct 2013 22:42:58 +0000 (+0200)
Subject: Rename configure --with-xshogi to --enable-xshogi for correctness.
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=07e1a51683325ac9e9011a4c9d9802ba454721af;p=gnushogi.git

Rename configure --with-xshogi to --enable-xshogi for correctness.
---

diff --git a/configure.ac b/configure.ac
index 05a53cb..6894c87 100644
--- a/configure.ac
+++ b/configure.ac
@@ -169,11 +169,11 @@ SECOND_SHOGI_PROGRAM=gnushogi
 FIRST_HOST=localhost
 SECOND_HOST=localhost
 
-AC_ARG_WITH(xshogi,
-[  --with-xshogi
+AC_ARG_ENABLE(xshogi,
+[  --enable-xshogi
         Compile the xshogi graphical interface to GNU shogi (default: no)],
-with_xshogi=$withval,
-with_xshogi=no)
+enable_xshogi=$enableval,
+enable_xshogi=no)
 
 AC_ARG_WITH(top-part-bitmaps,
 [  --with-top-part-bitmaps    Use top part of Kanji bitmaps only in xshogi.],
@@ -207,7 +207,7 @@ AC_SUBST(SECOND_SHOGI_PROGRAM)
 AC_SUBST(FIRST_HOST)
 AC_SUBST(SECOND_HOST)
 
-if [[ $with_xshogi = yes ]]
+if [[ $enable_xshogi = yes ]]
 then
 XSHOGI=xshogi_compile
 XSHOGIINSTALL=xshogi_install