# HG changeset patch
# User diego
# Date 1195772915 0
# Node ID bbe4c6e032ae3a228124d833cfc4358277f7a37d
# Parent  a06ffbca3c37cf6cc220df2a2445dbf263b26ded
Fix half-baked last commit.

diff -r a06ffbca3c37 -r bbe4c6e032ae configure
--- a/configure	Thu Nov 22 22:41:08 2007 +0000
+++ b/configure	Thu Nov 22 23:08:35 2007 +0000
@@ -7168,10 +7168,11 @@
 
   # Required libraries
   if test "$_libavcodec" != yes ||
-      ! "echo $_libavdecoders | grep PNG_DECODER >/dev/null 2>&1" ; then
+      ! echo $_libavdecoders | grep PNG_DECODER >/dev/null 2>&1 ; then
     die "The GUI requires libavcodec with PNG support (needs zlib)."
   fi
-win32 || test "$_x11" != yes && die "X11 support required for GUI compilation."
+if ! win32 ; then
+  test "$_x11" != yes && die "X11 support required for GUI compilation."
 
   echocheck "XShape extension"
   if test "$_xshape" = auto ; then
@@ -8543,7 +8544,7 @@
   echo
 fi
 
-if not x86_32; then
+if ! x86_32; then
   cat <<EOF
 NOTE: Win32 codec DLLs are not supported on your CPU ($host_arch) or your
 operating system ($system_name). You may encounter a few files that cannot