mbed library sources. Supersedes mbed-src.

Dependents:   BREAK_SENSOR_LED

Fork of mbed-dev by mbed official

Revision:
173:e131a1973e81
Parent:
167:e84263d55307
Child:
174:b96e65c34a4d
--- a/targets/TARGET_STM/hal_tick_32b.c	Thu Aug 31 17:27:04 2017 +0100
+++ b/targets/TARGET_STM/hal_tick_32b.c	Fri Sep 15 14:59:18 2017 +0100
@@ -118,6 +118,13 @@
     __HAL_TIM_SET_COMPARE(&TimMasterHandle, TIM_CHANNEL_2, PreviousVal + HAL_TICK_DELAY);
     __HAL_TIM_ENABLE_IT(&TimMasterHandle, TIM_IT_CC2);
 
+#ifndef NDEBUG
+#ifdef TIM_MST_DBGMCU_FREEZE
+    // Freeze timer on stop/breakpoint
+    TIM_MST_DBGMCU_FREEZE;
+#endif
+#endif
+
 #if DEBUG_TICK > 0
     __HAL_RCC_GPIOB_CLK_ENABLE();
     GPIO_InitTypeDef GPIO_InitStruct;