diff options
| author | Sébastien Helleu <flashcode@flashtux.org> | 2019-11-28 21:26:45 +0100 |
|---|---|---|
| committer | Sébastien Helleu <flashcode@flashtux.org> | 2019-11-28 21:26:45 +0100 |
| commit | d2300e62afb64ae0e9c8fa1e76c2108bf445c31c (patch) | |
| tree | e2eff1949ec40eb9c724a768454d9d668c24cfa9 | |
| parent | a727516e0d57d80f0d4aa6add1ff6607e3d9b676 (diff) | |
| download | weechat-d2300e62afb64ae0e9c8fa1e76c2108bf445c31c.zip | |
core: replace "-o" by "||" in tools scripts
| -rwxr-xr-x | tools/build-debian.sh | 2 | ||||
| -rwxr-xr-x | tools/makedist.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/build-debian.sh b/tools/build-debian.sh index c1d503e8c..79a8e17db 100755 --- a/tools/build-debian.sh +++ b/tools/build-debian.sh @@ -183,7 +183,7 @@ DISTRO_TYPE=$(expr "${DISTRO}" : '\([^/]*\)/') || true # extract distro name (sid, jessie, wily, ...) DISTRO_NAME=$(expr "${DISTRO}" : '[^/]*/\([a-z]*\)') || true -if [ -z "${DISTRO_TYPE}" -o -z "${DISTRO_NAME}" ]; then +if [ -z "${DISTRO_TYPE}" ] || [ -z "${DISTRO_NAME}" ]; then error_usage "missing distro type/name" fi diff --git a/tools/makedist.sh b/tools/makedist.sh index 47262c3e2..2bedd755d 100755 --- a/tools/makedist.sh +++ b/tools/makedist.sh @@ -35,7 +35,7 @@ # check git repository ROOT_DIR=$(git rev-parse --show-toplevel) -if [ -z "${ROOT_DIR}" -o ! -d "${ROOT_DIR}/.git" ]; then +if [ -z "${ROOT_DIR}" ] || [ ! -d "${ROOT_DIR}/.git" ]; then echo "This script must be run from WeeChat git repository." exit 1 fi |