X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=9780d7393fddc7c9b3637dbb6a8d28294b72b1a0;hb=4e1d74dd9fa376152dea685917741cee77c0e059;hp=cac18c36fb2a6abcbd627daad9e019ad891b6594;hpb=98d158505dc201eea0df60c5d9703107aa4a6a29;p=pspp

diff --git a/configure.ac b/configure.ac
index cac18c36fb..9780d7393f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -231,14 +231,6 @@ AC_DEFINE(
   [crc32], [gl_crc32],
   [Avoid making zlib call gnulib's crc32() instead of its own.])
 
-AC_ARG_WITH(
-  gui_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-2.0)
-fi
-AM_CONDITIONAL(WITH_GUI_TOOLS, test x"$with_gui_tools" = x"yes")
-
 AC_ARG_WITH(
   [perl-module],
   [AS_HELP_STRING([--without-perl-module], [do not build the Perl module])],