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:
604:19d487c995ec
Parent:
228:85a676113daa
diff -r 3c75ef011213 -r 19d487c995ec common/board.c
--- a/common/board.c	Thu Aug 13 10:30:09 2015 +0100
+++ b/common/board.c	Thu Aug 13 11:00:09 2015 +0100
@@ -19,7 +19,7 @@
 #include "mbed_interface.h"
 
 WEAK void mbed_die(void) {
-#ifndef NRF51_H
+#if !defined (NRF51_H) && !defined(TARGET_EFM32)
 	__disable_irq();	// dont allow interrupts to disturb the flash pattern
 #endif
 #if   (DEVICE_ERROR_RED == 1)