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: sav-api~870^2~47
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=be412d7b78faa1598408c8b9f35375f3918e8274;p=pspp

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 3a074e20a4..b00a75b147 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