Lancaster University's (short term!) clone of mbed-src for micro:bit. This is a copy of the github branch https://github.com/lancaster-university/mbed-classic

Fork of mbed-src by mbed official

Revision:
228:85a676113daa
Parent:
221:8276e3a4886f
Child:
604:19d487c995ec
diff -r 7bd0639b8911 -r 85a676113daa common/board.c
--- 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