From f069be7c57ec750b912f09ec8b4c1adb9c704594 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Sat, 5 Oct 2024 12:37:57 +0300
Subject: [PATCH] Making the jenkins build work

---
 Jenkinsfile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d8bf9a9..919da58 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -37,14 +37,10 @@ pipeline {
 
         stage("Init") {
             steps {
-              sh 'rm -rf srfi-test && git clone https://github.com/srfi-explorations/srfi-test.git'
               sh 'mkdir -p reports'
               sh 'touch reports/placeholder'
               stash name: 'reports', includes: 'reports/*'
               sh 'echo "<h1>Test results</h1>" > reports/results.html'
-              sh '(cd srfi-test && make clean build)'
-              sh 'tree srfi-test'
-              stash name: 'tests', includes: 'srfi-test/*'
             }
         }