# HG changeset patch
# User ib
# Date 1410207747 0
# Node ID 0f0ccec7c8f30f06340d0f8d0d5e4084401d7ff3
# Parent  d50c97393dc106a0eaf11f3c85466b4f7eab99a6
Revise message.

diff -r d50c97393dc1 -r 0f0ccec7c8f3 configure
--- a/configure	Mon Sep 08 20:18:29 2014 +0000
+++ b/configure	Mon Sep 08 20:22:27 2014 +0000
@@ -7839,7 +7839,7 @@
 
   if ! win32 ; then
     _gui_gtk=yes
-    test "$_x11" != yes && die "X11 support required for GUI compilation."
+    test "$_x11" != yes && die "The GUI requires X11."
 
     echocheck "XShape extension"
     if test "$_xshape" = auto ; then