diff options
Diffstat (limited to 'dev-db/pgadmin3/files/pgadmin3-1.4.0-configure.patch')
| -rw-r--r-- | dev-db/pgadmin3/files/pgadmin3-1.4.0-configure.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/dev-db/pgadmin3/files/pgadmin3-1.4.0-configure.patch b/dev-db/pgadmin3/files/pgadmin3-1.4.0-configure.patch deleted file mode 100644 index f04a977d0b85..000000000000 --- a/dev-db/pgadmin3/files/pgadmin3-1.4.0-configure.patch +++ /dev/null @@ -1,26 +0,0 @@ ---- configure.orig 2005-06-19 23:29:13.000000000 +0200 -+++ configure 2005-06-19 23:32:38.000000000 +0200 -@@ -5364,13 +5364,22 @@ - then - if test ! -f "${WX_HOME}/${wx_config_binary}" - then -+ # PP: here i have trouble, since on my machine -+ # the WX_HOME point to /usr/local (old 2.5) and should be /usr... -+ # lets try as last chance -+ WX_HOME=/usr -+ if test ! -f "${WX_HOME}/${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_HOME}/${wx_config_binary}" - fi - else -+ WX_CONFIG="${WX_HOME}/${wx_config_binary}" -+ fi -+ else - WX_CONFIG="${WX_HOME}/bin/${wx_config_binary}" - fi - else |