From 566b212f74a32904885297d059b9aaedbff83c68 Mon Sep 17 00:00:00 2001
From: Martin Weinelt <mweinelt@gmail.com>
Date: Mon, 3 Aug 2015 01:08:27 +0200
Subject: [PATCH] check: ignore ed25519publickey keys

---
 scripts/check | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/check b/scripts/check
index dc7235b..6836bad 100755
--- a/scripts/check
+++ b/scripts/check
@@ -128,7 +128,7 @@ def get_hosts_data(srcdir):
                                     error("non-integer port given")
                             else:
                                 addresses.append((v, None))
-                        elif k in ('ecdsapublickey'):
+                        elif k in ('ecdsapublickey', 'ed25519publickey'):
                             continue
                         else:
                             error("unknown key {key} with value {val}"