From 2b937ddb7b0c719196520425c4ef799f0d0527ea Mon Sep 17 00:00:00 2001
From: Zhe Li <zlhe@microsoft.com>
Date: Wed, 11 Apr 2018 19:01:30 +0800
Subject: [PATCH] fix board version issue

---
 src/arduino/boardManager.ts | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/arduino/boardManager.ts b/src/arduino/boardManager.ts
index ebafdb9e..d8267afa 100644
--- a/src/arduino/boardManager.ts
+++ b/src/arduino/boardManager.ts
@@ -206,7 +206,9 @@ export class BoardManager {
                     // addedPlatform.boards = util.union(addedPlatform.boards, plat.boards, (a, b) => {
                     //     return a.name === b.name;
                     // });
-                    // addedPlatform.versions.push(plat.version);
+                    if (addedPlatform.name === plat.name) {
+                        addedPlatform.versions.push(plat.version);
+                    }
                 } else {
                     plat.versions = [plat.version];
                     // Clear the version information since the plat will be used to contain all supported versions.