From 581c97bbcfe357fd28cbd193b17fc36f4bbdf7c6 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Wed, 1 Jul 2020 16:20:07 +0200
Subject: [PATCH] cpu/mips: skip pthread types provided by the toolchain

---
 cpu/mips_pic32_common/Makefile.include | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/cpu/mips_pic32_common/Makefile.include b/cpu/mips_pic32_common/Makefile.include
index 3b92b0a28d..421ce14995 100644
--- a/cpu/mips_pic32_common/Makefile.include
+++ b/cpu/mips_pic32_common/Makefile.include
@@ -1,5 +1,10 @@
 include $(RIOTCPU)/mips32r2_common/Makefile.include
 
+# The 2020.06-01 toolchain provides POSIX defines for pthread which conflicts
+# with the one in RIOT. The following CFLAGS skip the inclusion of the types
+# shipped by the toolchain.
+CFLAGS += -D_SYS__PTHREADTYPES_H_
+
 CFLAGS += -DCPU_FAM_$(call uppercase_and_underscore,$(CPU_FAM))
 
 INCLUDES += -I$(RIOTCPU)/mips_pic32_common/include