diff options
author | 2013-12-30 01:58:44 -0600 | |
---|---|---|
committer | 2013-12-30 01:58:44 -0600 | |
commit | 53601797dd2e5448d655bf868be5f5b22ab9c525 (patch) | |
tree | 86f25e67563f79e259005e2fe4c3c2204ccbb037 | |
parent | Always select a profile if one is available (bug #448074). (diff) | |
download | eselect-53601797dd2e5448d655bf868be5f5b22ab9c525.tar.gz eselect-53601797dd2e5448d655bf868be5f5b22ab9c525.tar.bz2 eselect-53601797dd2e5448d655bf868be5f5b22ab9c525.zip |
Add support for wxGTK 3.0.
-rw-r--r-- | modules/wxwidgets.eselect | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/modules/wxwidgets.eselect b/modules/wxwidgets.eselect index 012eb8e..4be13e9 100644 --- a/modules/wxwidgets.eselect +++ b/modules/wxwidgets.eselect @@ -6,7 +6,7 @@ inherit config DESCRIPTION="Manage the system default wxWidgets profile" MAINTAINER="wxwidgets@gentoo.org" -VERSION="20131117" +VERSION="20131230" WXCONFFILE="${EROOT}"/var/lib/wxwidgets/current WXCONFDIR="${EROOT}"/usr/lib/wx/config @@ -27,7 +27,6 @@ set_config() { || die -q "Number out of range: ${1}" target=${targets[$(( ${target} - 1 ))]} fi - # we shouldn't change the profile to "none" if there are available configs # this can happen if WXCONFFILE got deleted somehow if [[ ${target} == "none" ]]; then @@ -199,7 +198,7 @@ do_update() { ;; ver) - for opt in 2.9 2.8; do + for opt in 3.0 2.9 2.8; do if [[ ${opt} == ${wxver[0]} ]]; then continue else |