From 18610704e888b3ff374be9856ad11ee3f1730ce6 Mon Sep 17 00:00:00 2001
From: Axel Heider <axel.heider@codasip.com>
Date: Mon, 8 Apr 2024 14:25:30 +0200
Subject: [PATCH] cmake: use quotes

Avoid odd error messages in case TRIPLE is empty.

Signed-off-by: Axel Heider <axel.heider@codasip.com>
---
 cmake-tool/helpers/check_arch_compiler.cmake | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/cmake-tool/helpers/check_arch_compiler.cmake b/cmake-tool/helpers/check_arch_compiler.cmake
index f0e05ff2..ff2d28dc 100644
--- a/cmake-tool/helpers/check_arch_compiler.cmake
+++ b/cmake-tool/helpers/check_arch_compiler.cmake
@@ -11,7 +11,7 @@ function(check_arch_clang)
                 MATCH
                 "^x86_64"
                 correct_triple
-                ${TRIPLE}
+                "${TRIPLE}"
         )
     elseif("${KernelSel4Arch}" STREQUAL "x86_64")
         string(
@@ -19,7 +19,7 @@ function(check_arch_clang)
                 MATCH
                 "^x86_64"
                 correct_triple
-                ${TRIPLE}
+                "${TRIPLE}"
         )
     elseif("${KernelSel4Arch}" STREQUAL "aarch32" OR "${KernelSel4Arch}" STREQUAL "arm_hyp")
         string(
@@ -27,7 +27,7 @@ function(check_arch_clang)
                 MATCH
                 "^arm"
                 correct_triple
-                ${TRIPLE}
+                "${TRIPLE}"
         )
     elseif("${KernelSel4Arch}" STREQUAL "aarch64")
         string(
@@ -35,7 +35,7 @@ function(check_arch_clang)
                 MATCH
                 "^aarch64"
                 correct_triple
-                ${TRIPLE}
+                "${TRIPLE}"
         )
     elseif("${KernelSel4Arch}" STREQUAL "riscv32")
         string(
@@ -43,7 +43,7 @@ function(check_arch_clang)
                 MATCH
                 "^riscv(32|64)"
                 correct_triple
-                ${TRIPLE}
+                "${TRIPLE}"
         )
     elseif("${KernelSel4Arch}" STREQUAL "riscv64")
         string(
@@ -51,14 +51,14 @@ function(check_arch_clang)
                 MATCH
                 "^riscv64"
                 correct_triple
-                ${TRIPLE}
+                "${TRIPLE}"
         )
     else()
         message(SEND_ERROR "KernelSel4Arch is not set to a valid arch")
     endif()
 
     if(NOT correct_triple)
-        message(SEND_ERROR "Clang Triple: ${TRIPLE} isn't for seL4_arch: ${KernelSel4Arch}")
+        message(SEND_ERROR "Clang Triple: '${TRIPLE}' isn't for seL4_arch: ${KernelSel4Arch}")
     endif()
 
 endfunction()