diff options
Diffstat (limited to 'wx-config-1.4')
-rw-r--r-- | wx-config-1.4 | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/wx-config-1.4 b/wx-config-1.4 index 70b6b2c..cb41292 100644 --- a/wx-config-1.4 +++ b/wx-config-1.4 @@ -27,7 +27,9 @@ else _wxerror "Cannot find the wxWidgets profile configuration ( ${EPREFIX}/var/lib/wxwidgets/current )" fi - [ -z "${WXCONFIG}" -o "${WXCONFIG}" = none ] && _wxerror "No profile currently selected" + if [ -z "${WXCONFIG}" ] || [ "${WXCONFIG}" = none ]; then + _wxerror "No profile currently selected" + fi if [ -x "${EPREFIX}/usr/${LIBDIR}/wx/config/${WXCONFIG}" ]; then exec "${EPREFIX}/usr/${LIBDIR}/wx/config/${WXCONFIG}" "$@" @@ -35,4 +37,3 @@ else _wxerror "Cannot find wxWidgets profile ( ${WXCONFIG} )" fi fi - |