ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix GCC build including define of ARMCC intrinsic __disable_irq 

Change-Id: I13ca92e54d8f752cca18f5c75ac026526419edbe
pull/1/head
emilmont 2013-03-18 10:31:26 +00:00
parent ca6e1ed7ab
commit b8b42d3abd
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
libraries/mbed/capi/us_ticker_api.c
View File

@ -15,6 +15,7 @@
*/ */
#include <stddef.h> #include <stddef.h>
#include "us_ticker_api.h" #include "us_ticker_api.h"
#include "cmsis.h"
static ticker_event_handler event_handler; static ticker_event_handler event_handler;
static ticker_event_t *head = NULL; static ticker_event_t *head = NULL;