diff --git a/debian/util.sh b/debian/util.sh index 4a5214a9bb..67ff3b91ae 100755 --- a/debian/util.sh +++ b/debian/util.sh @@ -363,7 +363,7 @@ default_distros () { case "$host_distro" in Debian) echo "sid jessie wheezy" ;; Ubuntu) echo "utopic trusty" ;; - *) err "Unknown distribution" ;; + *) err "Unknown host distribution \"$host_distro\"" ;; esac }