aarch32: Rename __aeabi_read_tp file (#15)
The .S extension causes this file to be preprocessed before the
assembler is invoked which matches up with the preprocessor arguments
that CMake constructs for it's compilation step.
When compiling with Clang this would previously generate warnings about
unused preprocessor variables.
Signed-off-by: Kent McLeod <kent@kry10.com>
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 290df25..1964501 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -14,7 +14,7 @@
cmake_minimum_required(VERSION 3.12.0)
-project(sel4runtime C)
+project(sel4runtime C ASM)
set(configure_string "")
config_string(
@@ -95,7 +95,7 @@
if(("${KernelSel4Arch}" STREQUAL "aarch32") OR ("${KernelSel4Arch}" STREQUAL "arm_hyp"))
list(
APPEND
- sources src/sel4_arch/${KernelSel4Arch}/__aeabi_read_tp.s
+ sources src/sel4_arch/${KernelSel4Arch}/__aeabi_read_tp.S
src/sel4_arch/${KernelSel4Arch}/__aeabi_read_tp_c.c
)
endif()
diff --git a/src/sel4_arch/aarch32/__aeabi_read_tp.s b/src/sel4_arch/aarch32/__aeabi_read_tp.S
similarity index 100%
rename from src/sel4_arch/aarch32/__aeabi_read_tp.s
rename to src/sel4_arch/aarch32/__aeabi_read_tp.S
