From 134a67aab259d410373367cb96b73420b390d385 Mon Sep 17 00:00:00 2001
From: 0xc0170 <c0170@rocketmail.com>
Date: Tue, 3 Feb 2015 15:00:42 +0000
Subject: [PATCH] mbed header file - mbed lib revision - 93

---
 libraries/mbed/api/mbed.h        | 2 +-
 workspace_tools/build_release.py | 1 +
 workspace_tools/targets.py       | 6 ++----
 3 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/libraries/mbed/api/mbed.h b/libraries/mbed/api/mbed.h
index 4c5efae3e2..ef1393a0eb 100644
--- a/libraries/mbed/api/mbed.h
+++ b/libraries/mbed/api/mbed.h
@@ -16,7 +16,7 @@
 #ifndef MBED_H
 #define MBED_H
 
-#define MBED_LIBRARY_VERSION 92
+#define MBED_LIBRARY_VERSION 93
 
 #include "platform.h"
 
diff --git a/workspace_tools/build_release.py b/workspace_tools/build_release.py
index 1f513e4cdb..0f47f42d6b 100755
--- a/workspace_tools/build_release.py
+++ b/workspace_tools/build_release.py
@@ -37,6 +37,7 @@ OFFICIAL_MBED_LIBRARY_BUILD = (
     ('SSCI824',      ('uARM',)),
     ('LPC1347',      ('ARM','IAR')),
     ('LPC4088',      ('ARM', 'GCC_ARM', 'GCC_CR', 'IAR')),
+    ('LPC4088_DM',   ('ARM', 'GCC_ARM', 'GCC_CR', 'IAR')),
     ('LPC1114',      ('uARM','GCC_ARM', 'IAR')),
     ('LPC11U35_401', ('ARM', 'uARM','GCC_ARM','GCC_CR', 'IAR')),
     ('LPC11U35_501', ('ARM', 'uARM','GCC_ARM','GCC_CR', 'IAR')),
diff --git a/workspace_tools/targets.py b/workspace_tools/targets.py
index fa4b8cb65c..20f1b6475f 100644
--- a/workspace_tools/targets.py
+++ b/workspace_tools/targets.py
@@ -307,9 +307,7 @@ class LPC4088(LPCTarget):
         LPCTarget.lpc_patch(t_self, resources, elf, binf)
 
 class LPC4088_DM(LPC4088):
-    def __init__(self):
-        LPC4088.__init__(self)
-        self.extra_labels.append('LPC4088_DM')
+    pass
 
 class LPC4330_M4(LPCTarget):
     def __init__(self):
@@ -406,7 +404,7 @@ class TEENSY3_1(Target):
         self.extra_labels = ['Freescale', 'K20XX', 'K20DX256']
         self.supported_toolchains = ["GCC_ARM", "ARM"]
         self.is_disk_virtual = True
-        self.detect_code = ["0230"] 
+        self.detect_code = ["0230"]
 
         OUTPUT_EXT = '.hex'