mbed library sources

Fork of mbed-src by mbed official

Revision:
604:19d487c995ec
Parent:
228:85a676113daa
--- 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)