diff options
| author | Damien George | 2016-06-28 11:25:50 +0100 |
|---|---|---|
| committer | Damien George | 2016-06-28 11:28:53 +0100 |
| commit | 842c2c74c02d5ad0b409cda2fd6e64f339b45ba9 (patch) | |
| tree | 6ef878445e8f14cb7276bb1e727ab5b28dc88327 /cc3200 | |
| parent | 469c623bb8e504ca78f1964508579ecefec76a98 (diff) | |
cc3200: Allow to compile bootloader with threading enabled.
Threading is not used in the bootloader but the config optios are still
enabled so we must exclude including FreeRTOS.h.
Diffstat (limited to 'cc3200')
| -rw-r--r-- | cc3200/mpthreadport.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cc3200/mpthreadport.h b/cc3200/mpthreadport.h index 299802a6f..2b49232dd 100644 --- a/cc3200/mpthreadport.h +++ b/cc3200/mpthreadport.h @@ -26,11 +26,15 @@ #ifndef __MICROPY_INCLUDED_CC3200_MPTHREADPORT_H__ #define __MICROPY_INCLUDED_CC3200_MPTHREADPORT_H__ +#ifndef BOOTLOADER #include "FreeRTOS.h" +#endif typedef struct _mp_thread_mutex_t { + #ifndef BOOTLOADER SemaphoreHandle_t handle; StaticSemaphore_t buffer; + #endif } mp_thread_mutex_t; void mp_thread_init(void); |