diff options
| author |   Masatomo Nakano <nakano@gentoo.org> | 2005-06-20 05:29:24 +0000 |
|---|---|---|
| committer | Masatomo Nakano <nakano@gentoo.org> | 2005-06-20 05:29:24 +0000 |
| commit | 63fc6ddbc1fde9e1e9b915560786b0cd281ada30 (patch) | |
| tree | 5e24f1a604e7e8debe0b54f661da53a634d28867 /dev-db/pgadmin3/files | |
| parent | enewuser as well. (diff) | |
| download | gentoo-2-63fc6ddbc1fde9e1e9b915560786b0cd281ada30.tar.gz gentoo-2-63fc6ddbc1fde9e1e9b915560786b0cd281ada30.tar.bz2 gentoo-2-63fc6ddbc1fde9e1e9b915560786b0cd281ada30.zip | |
fixed bug (#96520)
(Portage version: 2.0.51.22-r1)
Diffstat (limited to 'dev-db/pgadmin3/files')
| -rw-r--r-- | dev-db/pgadmin3/files/pgadmin3-1.2.2-configure.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/dev-db/pgadmin3/files/pgadmin3-1.2.2-configure.patch b/dev-db/pgadmin3/files/pgadmin3-1.2.2-configure.patch new file mode 100644 index 000000000000..f04a977d0b85 --- /dev/null +++ b/dev-db/pgadmin3/files/pgadmin3-1.2.2-configure.patch @@ -0,0 +1,26 @@ +--- 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 |