configure: Set a blank default hostname for non Linux

Wups, I was debugging.

diff --git a/configure b/configure
index 57c5b1a863dbe9bb729a6c397633199f6348b30c..203b2ba0de0a130540b63e5b30d6429190ab24d2 100755 (executable)
--- a/configure
+++ b/configure
@@ -504,7 +504,7 @@ if [ -n "${_DEFAULT_HOSTNAME+x}" ]; then
        DEFAULT_HOSTNAME="${_DEFAULT_HOSTNAME}"
 else
        case "$OS" in
-       *|linux*)       DEFAULT_HOSTNAME="(none)";;
+       linux*) DEFAULT_HOSTNAME="(none)";;
        *)      DEFAULT_HOSTNAME="";;
        esac
 fi