Improve error message

diff --git a/debian/util.sh b/debian/util.sh
index 4a5214a9bb0dc42beb4eddc10cb498572844a22f..67ff3b91aec83a40100220dc0ec2dfa9574a96ca 100755 (executable)
--- 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
 }