mbed library sources

Fork of mbed-src by mbed official

Revision:
127:ce7cebc0511f
Parent:
113:65a335a675de
Child:
221:8276e3a4886f
--- a/common/board.c	Wed Mar 19 16:00:09 2014 +0000
+++ b/common/board.c	Wed Mar 19 17:15:21 2014 +0000
@@ -19,11 +19,11 @@
 
 WEAK void mbed_die(void);
 WEAK void mbed_die(void) {
+#ifndef NRF51_H
 	__disable_irq();	// dont allow interrupts to disturb the flash pattern
-
+#endif
 #if   (DEVICE_ERROR_RED == 1)
     gpio_t led_red; gpio_init_out(&led_red, LED_RED);
-    
 #elif (DEVICE_ERROR_PATTERN == 1)
     gpio_t led_1; gpio_init_out(&led_1, LED1);
     gpio_t led_2; gpio_init_out(&led_2, LED2);