summaryrefslogtreecommitdiff
path: root/tools/build-debian.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/build-debian.sh')
-rwxr-xr-xtools/build-debian.sh2
1 files changed, 1 insertions, 1 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