From d2300e62afb64ae0e9c8fa1e76c2108bf445c31c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= <flashcode@flashtux.org>
Date: Thu, 28 Nov 2019 21:26:45 +0100
Subject: [PATCH] core: replace "-o" by "||" in tools scripts

---
 tools/build-debian.sh | 2 +-
 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