diff options
Diffstat (limited to 'firmware/target')
-rw-r--r-- | firmware/target/hosted/system-hosted.h | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/firmware/target/hosted/system-hosted.h b/firmware/target/hosted/system-hosted.h index e60803fde0..5e7a7d7d99 100644 --- a/firmware/target/hosted/system-hosted.h +++ b/firmware/target/hosted/system-hosted.h | |||
@@ -22,7 +22,7 @@ | |||
22 | #ifndef __SYSTEM_HOSTED_H__ | 22 | #ifndef __SYSTEM_HOSTED_H__ |
23 | #define __SYSTEM_HOSTED_H__ | 23 | #define __SYSTEM_HOSTED_H__ |
24 | 24 | ||
25 | #include "system.h" | 25 | #ifndef __PCTOOL__ |
26 | 26 | ||
27 | static inline void commit_dcache(void) {} | 27 | static inline void commit_dcache(void) {} |
28 | static inline void commit_discard_dcache(void) {} | 28 | static inline void commit_discard_dcache(void) {} |
@@ -34,4 +34,14 @@ static inline void core_sleep(void) | |||
34 | wait_for_interrupt(); | 34 | wait_for_interrupt(); |
35 | } | 35 | } |
36 | 36 | ||
37 | #endif /* __PCTOOL__ */ | ||
38 | |||
39 | #if defined(WIN32) || defined(__PCTOOL__) | ||
40 | |||
41 | #ifndef alloca | ||
42 | #define alloca __builtin_alloca | ||
43 | #endif | ||
44 | |||
45 | #endif /* WIN32 || __PCTOOL__ */ | ||
46 | |||
37 | #endif | 47 | #endif |