change us_ticker_inited to static

2018-06-12 11:31:16 +01:00 · 2018-06-12 11:31:16 +01:00 · 3ba635d233
parent 0c8527f5c1
commit 3ba635d233
1 changed files with 1 additions and 1 deletions
--- a/targets/TARGET_ARM_FM/TARGET_FVP_MPS2/us_ticker.c
+++ b/targets/TARGET_ARM_FM/TARGET_FVP_MPS2/us_ticker.c
@ -28,7 +28,7 @@
 *  TIMER1 is for counting, and returns inverted binary when read from it
 *  TIMER2 is for generate interrupts
 */
-int us_ticker_inited = 0;
+static int us_ticker_inited = 0;

 void us_ticker_init(void)
 {