From: John Darrington <john@darrington.wattle.id.au>
Date: Tue, 30 Sep 2008 02:30:13 +0000 (+0800)
Subject: Updated the description of the --with-gui-tools flag.
X-Git-Tag: v0.7.1~50^2~47
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=commitdiff_plain;h=be412d7b78faa1598408c8b9f35375f3918e8274

Updated the description of the --with-gui-tools flag.

Some users were misunderstanding the purpose of this flag,
and using it in normal builds, and suffering the consequences.
This description, hopefully, makes it clear that they don't
need it.
---

diff --git a/configure.ac b/configure.ac
index 3a074e20..b00a75b1 100644
--- a/configure.ac
+++ b/configure.ac
@@ -121,7 +121,7 @@ AM_CONDITIONAL(GNM_SUPPORT, test x"$gnm_support" = x"yes")
 
 AC_ARG_WITH(
   gui_tools,
-  [AS_HELP_STRING([--with-gui-tools], [build the gui developer tools])])
+  [AS_HELP_STRING([--with-gui-tools], [build the gui developer tools.  For DEVELOPERS only! There is no reason why users will need this flag.])])
 if test x"$with_gui_tools" = x"yes" ; then 
 	PKG_CHECK_MODULES(GLADE_UI, gladeui-1.0)
 fi