From d54050db263a4c0d16670243d3b70fb038576c6f Mon Sep 17 00:00:00 2001 From: Arsen Arsenović Date: Mon, 9 Jan 2023 14:01:38 +0100 Subject: wx{-config,rc}-1.4: Address shellcheck warnings --- wx-config-1.4 | 5 +++-- wxrc-1.4 | 5 +++-- 2 files changed, 6 insertions(+), 4 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 - diff --git a/wxrc-1.4 b/wxrc-1.4 index 1757bf8..e4d4446 100644 --- a/wxrc-1.4 +++ b/wxrc-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}" --utility=wxrc)" "$@" @@ -35,4 +37,3 @@ else _wxerror "Cannot find wxWidgets profile ( ${WXCONFIG} )" fi fi - -- cgit v1.2.3-65-gdbad