From 1e8384a51df04c795c2fcebe49a3a8db0ef84e01 Mon Sep 17 00:00:00 2001 From: Michael Date: Tue, 28 Nov 2023 10:14:09 +0000 Subject: [PATCH] fix typo --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 3cb528a27..efe5e94db 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -151,7 +151,7 @@ def createZip(String platform) { sh "cmake .. -DLIB_NAME=tflitemicro_${platform}" sh "make create_zip -j4" } else if (platform == "windows") { - bat "cmake .. -DLIB_NAME=tflitemicro_${platform} + bat "cmake .. -DLIB_NAME=tflitemicro_${platform}" // TODO: Make? } }