[patch] Patch for the pgadmin configure

pgadmin3-1.2.2-configure.patch (text/plain), 699 bytes, created by Pierre Poissinger on 2005-06-19 06:32:19 UTC

--- configure.orig	2005-06-19 14:02:19.000000000 +0200
+++ configure	2005-06-19 14:10:32.000000000 +0200
@@ -5364,10 +5364,15 @@
         then
             if test ! -f "${WX_HOME}/${wx_config_binary}"
             then
+	    	if test ! -f "${wx_config_binary}"
+            	then
                 { { echo "$as_me:$LINENO: error: Could not find ${wx_config_binary}" >&5
-echo "$as_me: error: Could not find ${wx_config_binary}" >&2;}
+			echo "$as_me: error: Could not find ${wx_config_binary}" >&2;}
    { (exit 1); exit 1; }; }
             else
+			WX_CONFIG="${wx_config_binary}"
+		fi
+            else
                 WX_CONFIG="${WX_HOME}/${wx_config_binary}"
             fi
         else