From beaf436e7b39733ae44732cf1ad3af64bac9f00d Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Fri, 18 Apr 2025 07:56:18 +0300
Subject: [PATCH] Making the build work

---
 Jenkinsfile | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 60d1ea3..481c0d7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,10 +1,5 @@
 pipeline {
-    agent {
-        dockerfile {
-            filename 'Dockerfile.jenkins'
-            args '--privileged'
-        }
-    }
+    agent any
     options {
         buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10'))
     }
@@ -16,6 +11,7 @@ pipeline {
                   }
             }
             steps {
+                sh 'apt-get update && apt-get install -y make'
                 sh 'make'
                 sh 'make install'
                 sh 'make SCHEME=sagittarius test-r6rs'
@@ -25,6 +21,7 @@ pipeline {
         stage("Test chez r6rs") {
             steps {
                 catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
+                    sh 'apt-get update && apt-get install -y make'
                     sh 'make SCHEME=chibi test-r6rs-docker'
                 }
             }