From a603c7f8111ed4cbb1a2ed6ef01b80563b1ec8f4 Mon Sep 17 00:00:00 2001 From: Kent McLeod Date: Mon, 12 Aug 2019 15:30:08 +1000 Subject: [PATCH] CMake: Correct allwinnerA20 platform name This name is case sensitive --- src/plat/allwinnerA20/config.cmake | 8 ++++---- ...{overlay-allwinnera20.dts => overlay-allwinnerA20.dts} | 0 tools/dts/{allwinnera20.dts => allwinnerA20.dts} | 0 3 files changed, 4 insertions(+), 4 deletions(-) rename src/plat/allwinnerA20/{overlay-allwinnera20.dts => overlay-allwinnerA20.dts} (100%) rename tools/dts/{allwinnera20.dts => allwinnerA20.dts} (100%) diff --git a/src/plat/allwinnerA20/config.cmake b/src/plat/allwinnerA20/config.cmake index 18300ebfb..d1154bfaf 100644 --- a/src/plat/allwinnerA20/config.cmake +++ b/src/plat/allwinnerA20/config.cmake @@ -12,15 +12,15 @@ cmake_minimum_required(VERSION 3.7.2) -declare_platform(allwinnera20 KernelPlatformAllwinnerA20 PLAT_ALLWINNERA20 KernelSel4ArchAarch32) +declare_platform(allwinnerA20 KernelPlatformAllwinnerA20 PLAT_ALLWINNERA20 KernelSel4ArchAarch32) if(KernelPlatformAllwinnerA20) declare_seL4_arch(aarch32) set(KernelArmCortexA7 ON) set(KernelArchArmV7a ON) - config_set(KernelARMPlatform ARM_PLAT allwinnera20) - list(APPEND KernelDTSList "tools/dts/allwinnera20.dts") - list(APPEND KernelDTSList "src/plat/allwinnerA20/overlay-allwinnera20.dts") + config_set(KernelARMPlatform ARM_PLAT allwinnerA20) + list(APPEND KernelDTSList "tools/dts/allwinnerA20.dts") + list(APPEND KernelDTSList "src/plat/allwinnerA20/overlay-allwinnerA20.dts") declare_default_headers( TIMER_FREQUENCY 24000000llu diff --git a/src/plat/allwinnerA20/overlay-allwinnera20.dts b/src/plat/allwinnerA20/overlay-allwinnerA20.dts similarity index 100% rename from src/plat/allwinnerA20/overlay-allwinnera20.dts rename to src/plat/allwinnerA20/overlay-allwinnerA20.dts diff --git a/tools/dts/allwinnera20.dts b/tools/dts/allwinnerA20.dts similarity index 100% rename from tools/dts/allwinnera20.dts rename to tools/dts/allwinnerA20.dts