From 177c037aa9f0536c4d9baf25cf060c0633957b94 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Wed, 15 Jan 2020 18:55:10 -0600
Subject: [PATCH] tools/configure.c: Add missing k210 support.

Fix a minor but necessary addition to configure.c for the K210 port that was missed in commit e33fc3dc895dacf55a0020852a8f3e303c1f52ca
---
 tools/configure.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/configure.c b/tools/configure.c
index 58ebc4e25f..2029a7e2ea 100644
--- a/tools/configure.c
+++ b/tools/configure.c
@@ -221,6 +221,7 @@ static const char *g_chipnames[] =
   "sh7032",
   "fe310",
   "gap8",
+  "k210",
   "nr5m100",
   "sim",
   "qemu",