Remus Munteanu / mbed

mbed lib with startup delay fixed for Nucleo401RE

Fork of mbed-src by mbed official

Diff: common/board.c

Revision:
228:85a676113daa
Parent:
221:8276e3a4886f
Child:
604:19d487c995ec
--- 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