Making the build work

2025-04-18 08:43:17 +03:00
parent 13e303c347
commit 6ae3ee64d5
1 changed files with 1 additions and 1 deletions
@@ -14,7 +14,7 @@ pipeline {
            }
        }
        stage("Test chez r6rs") {
-            agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=chezsceme' } }
+            agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=chezscheme' } }
            steps {
                catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
                    sh 'make && make install'