From 4200226708721021321ebcd79d715182eda8e39b Mon Sep 17 00:00:00 2001 From: Archit Gupta <71798289+archigup@users.noreply.github.com> Date: Tue, 29 Jun 2021 18:36:49 -0700 Subject: [PATCH] Move the community/partner supported ports to correct location (#361) --- .gitmodules | 4 ++-- {ThirdParty => portable/ThirdParty}/Community-Supported-Ports | 0 {ThirdParty => portable/ThirdParty}/Partner-Supported-Ports | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename {ThirdParty => portable/ThirdParty}/Community-Supported-Ports (100%) rename {ThirdParty => portable/ThirdParty}/Partner-Supported-Ports (100%) diff --git a/.gitmodules b/.gitmodules index e7ef2b07e..aaa2390a6 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,6 @@ [submodule "ThirdParty/FreeRTOS-Kernel-Partner-Supported-Ports"] - path = ThirdParty/Partner-Supported-Ports + path = portable/ThirdParty/Partner-Supported-Ports url = https://github.com/FreeRTOS/FreeRTOS-Kernel-Partner-Supported-Ports [submodule "ThirdParty/FreeRTOS-Kernel-Community-Supported-Ports"] - path = ThirdParty/Community-Supported-Ports + path = portable/ThirdParty/Community-Supported-Ports url = https://github.com/FreeRTOS/FreeRTOS-Kernel-Community-Supported-Ports diff --git a/ThirdParty/Community-Supported-Ports b/portable/ThirdParty/Community-Supported-Ports similarity index 100% rename from ThirdParty/Community-Supported-Ports rename to portable/ThirdParty/Community-Supported-Ports diff --git a/ThirdParty/Partner-Supported-Ports b/portable/ThirdParty/Partner-Supported-Ports similarity index 100% rename from ThirdParty/Partner-Supported-Ports rename to portable/ThirdParty/Partner-Supported-Ports