From 163169bf45ab493a96be6048af6a321d90edb5a3 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Fri, 18 Apr 2025 08:19:44 +0300 Subject: [PATCH] Making the build work --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index a17c616..edb6f5b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -20,7 +20,7 @@ pipeline { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'apt-get update && apt-get install -y make libuv1' sh 'make && make install' - sh 'make COMPILE_R7RS=chibi test-r6rs' + sh 'make COMPILE_R7RS=chezscheme test-r6rs' } } }