mbed library sources

Dependents:   PA_Boost_test

Fork of mbed-src by mbed official

Revision:
228:85a676113daa
Parent:
221:8276e3a4886f
--- a/common/board.c	Wed Jun 11 16:00:09 2014 +0100
+++ b/common/board.c	Thu Jun 12 10:15:07 2014 +0100
@@ -16,8 +16,8 @@
 #include "gpio_api.h"
 #include "wait_api.h"
 #include "toolchain.h"
+#include "mbed_interface.h"
 
-WEAK void mbed_die(void);
 WEAK void mbed_die(void) {
 #ifndef NRF51_H
 	__disable_irq();	// dont allow interrupts to disturb the flash pattern