From ffde8dcb7090c054e6133fb09d47a5f24937cf48 Mon Sep 17 00:00:00 2001
From: Nils Andreas Svee <me@lochnair.net>
Date: Sun, 27 Nov 2022 14:38:38 +0100
Subject: [PATCH] jenkinsfile: use double quotes

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b1207be..94c4816 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -25,9 +25,9 @@ pipeline {
 
 				environment {
 					GCC_TARGET = getGCCTarget(TARGET)
-					CC = '${GCC_TARGET}-gcc'
+					CC = "${GCC_TARGET}-gcc"
 					PATH = "${WORKSPACE}/${GCC_TARGET}-cross:${env.HOME}/.cargo/bin:${env.PATH}"
-					TOOLCHAIN_URL = 'https://musl.cc/${GCC_TARGET}-cross.tgz'
+					TOOLCHAIN_URL = "https://musl.cc/${GCC_TARGET}-cross.tgz"
 				}
 
 				stages {