Jonathan Piat
mbed library sources
Fork of
mbed-src
by 
mbed official
Diff: common/board.c
- 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