bin/sign: Remove spurious initial blank line.

diff --git a/bin/sign b/bin/sign
index 1d5f306c18e464c5260d1371f54c28c8d91d38fc..5d1380ff9b251c3cf7db4609dbabce368eeb4492 100755 (executable)
--- a/bin/sign
+++ b/bin/sign
@@ -37,7 +37,11 @@ while read line <&3; do
   names=""
 
   ## If this is a different host, then start a new section of the list.
   names=""
 
   ## If this is a different host, then start a new section of the list.

-  case "$host" in "$last") ;; *) { echo; echo "$host"; } >&4 ;; esac
+  case "$last" in
+    "%%%") echo "$host" >&4 ;;
+    "$host") ;;
+    *) { echo; echo "$host"; } >&4 ;;
+  esac

   last=$host
 
   ## Build a list of names for the host.
   last=$host
 
   ## Build a list of names for the host.