diff configure @ 108613:2aff4d15de35

Regenerate configure, src/config.in.
author Glenn Morris <rgm@gnu.org>
date Sat, 15 May 2010 15:36:29 -0700
parents c487ac406dde
children 880007fe488b
line wrap: on
line diff
--- a/configure	Sat May 15 15:33:24 2010 -0700
+++ b/configure	Sat May 15 15:36:29 2010 -0700
@@ -26485,7 +26485,12 @@
   LIBX_OTHER="\$(LIBXT) \$(LIBX_EXTRA)"
 else
   OLDXMENU=
-  LIBXMENU="-lXMenu"
+  ## FIXME This case (!HAVE_X11 && HAVE_X_WINDOWS) is no longer possible(?).
+  if test "${HAVE_X_WINDOWS}" = "yes"; then
+    LIBXMENU="-lXMenu"
+  else
+    LIBXMENU=
+  fi
   LIBX_OTHER=
 fi