fix freertos includes

2022-01-20 16:46:04 +03:00
parent 542f180d9d
commit cde2341c1f
3 changed files with 10 additions and 6 deletions
--- a/library.json
+++ b/library.json
@@ -18,8 +18,7 @@
        "srcFilter": [
            "+<libs/main/core/*.cpp>",
            "+<libs/main/containers/*.cpp>",
-            "+<libs/main/math/*.cpp>",
-            "+<libs/main/thread/*.cpp>"
+            "+<libs/main/math/*.cpp>"
        ],
        "extraScript": "platformio_pre.py",
        "flags": "-DPIP_FREERTOS"