diff options
Diffstat (limited to 'wx-config-1.4')
| -rw-r--r-- | wx-config-1.4 | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/wx-config-1.4 b/wx-config-1.4 index 7dcb063..70b6b2c 100644 --- a/wx-config-1.4 +++ b/wx-config-1.4 @@ -19,8 +19,7 @@ _wxerror() { } if [ -n "${WX_ECLASS_CONFIG}" ]; then - ${WX_ECLASS_CONFIG} "$@" - exit 0 + exec "${WX_ECLASS_CONFIG}" "$@" else if [ -e "${EPREFIX}"/var/lib/wxwidgets/current ]; then . "${EPREFIX}"/var/lib/wxwidgets/current @@ -31,10 +30,9 @@ else [ -z "${WXCONFIG}" -o "${WXCONFIG}" = none ] && _wxerror "No profile currently selected" if [ -x "${EPREFIX}/usr/${LIBDIR}/wx/config/${WXCONFIG}" ]; then - "${EPREFIX}/usr/${LIBDIR}/wx/config/${WXCONFIG}" "$@" + exec "${EPREFIX}/usr/${LIBDIR}/wx/config/${WXCONFIG}" "$@" else _wxerror "Cannot find wxWidgets profile ( ${WXCONFIG} )" fi - exit 0 fi |