diff options
Diffstat (limited to 'tools/build-debian.sh')
| -rwxr-xr-x | tools/build-debian.sh | 2 |
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 |