commit 658d8bd1c4042f8df3549bfbae7e32fc02866a4b
author Ewout van Bekkum <ewout@google.com> Tue Jan 26 14:48:38 2021 -0800
committer CQ Bot Account <pigweed-scoped@luci-project-accounts.iam.gserviceaccount.com> Tue Jan 26 23:56:33 2021 +0000
tree 80073d1bf01a8d07b9fc00894b8ae99979a9e27f
parent f002bfb5b49bda64e6dbfc06f70d54e39b66f8bf

third_party/freertos: remove non-common header

The initial pw_source_set for FreeRTOS was set up to ensure that
FreeRTOSConfig_template.h couldn't be accidentally used. It turns
out this file is not distributed by FreeRTOS. This change removes
it accordingly.

Change-Id: I91e85611e21544035a6705069dbd823df6095637
Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/30860
Commit-Queue: Ewout van Bekkum <ewout@google.com>
Reviewed-by: Alexei Frolov <frolv@google.com>

third_party/freertos/BUILD.gn

diff --git a/third_party/freertos/BUILD.gn b/third_party/freertos/BUILD.gn
index 416f7e6..9b30c06 100644
--- a/third_party/freertos/BUILD.gn
+++ b/third_party/freertos/BUILD.gn
@@ -62,9 +62,6 @@
     sources = [
       "$dir_pw_third_party_freertos/Source/croutine.c",
       "$dir_pw_third_party_freertos/Source/event_groups.c",
-
-      # Put here to ensure it cannot be included.
-      "$dir_pw_third_party_freertos/Source/include/FreeRTOSConfig_template.h",
       "$dir_pw_third_party_freertos/Source/list.c",
       "$dir_pw_third_party_freertos/Source/queue.c",
       "$dir_pw_third_party_freertos/Source/stream_buffer.c",