From d28752f5fa32f5dd13b28e96228156acbef46950 Mon Sep 17 00:00:00 2001
From: Axel Heider <axelheider@gmx.de>
Date: Tue, 9 Mar 2021 01:07:49 +0100
Subject: [PATCH] CMake: remove redundancies

Signed-off-by: Axel Heider <axelheider@gmx.de>
---
 CMakeLists.txt | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index cc6d8a445..daf37a894 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -216,12 +216,6 @@ endif()
 if(KernelArmMach STREQUAL "exynos")
     include_directories("include/plat/exynos_common/")
 endif()
-if(KernelArchRiscV)
-    include_directories(
-        "include/arch/${KernelArch}/arch/${KernelWordSize}"
-        "include/plat/${KernelPlatform}/plat/${KernelWordSize}"
-    )
-endif()
 
 # Add libsel4 include directories. These are explicitly added instead of calling
 # target_link_libraries(${target} sel4) because we don't want to inherit any