From 219bb4da4ff31128155dee30ad10ffb8c0375454 Mon Sep 17 00:00:00 2001
From: Roy Marples <roy@marples.name>
Date: Thu, 16 Apr 2020 23:26:49 +0100
Subject: [PATCH] configure: Set a blank default hostname for non Linux

Wups, I was debugging.
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 57c5b1a8..203b2ba0 100755
--- 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