From 0047c79fcd146d9f79d21fb9ace5c990fab47249 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Sun, 15 Feb 2015 15:58:53 +0200
Subject: [PATCH] Add missed "tool-teensy" to Teensy development platform

---
 platformio/platforms/teensy.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/platformio/platforms/teensy.py b/platformio/platforms/teensy.py
index 0f9688a3..aa2e6a8e 100644
--- a/platformio/platforms/teensy.py
+++ b/platformio/platforms/teensy.py
@@ -28,6 +28,10 @@ class TeensyPlatform(BasePlatform):
 
         "framework-arduinoteensy": {
             "default": True
+        },
+
+        "tool-teensy": {
+            "default": True
         }
     }