From 1dbc2c518ac9335835121b0af432ccbcd12d02ea Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Sat, 12 Oct 2024 08:50:55 +0300
Subject: [PATCH] Fixing the build

---
 Dockerfile.jenkins | 2 ++
 Jenkinsfile        | 1 +
 2 files changed, 3 insertions(+)
 create mode 100644 Dockerfile.jenkins

diff --git a/Dockerfile.jenkins b/Dockerfile.jenkins
new file mode 100644
index 0000000..733d2d1
--- /dev/null
+++ b/Dockerfile.jenkins
@@ -0,0 +1,2 @@
+FROM schemers/gauche
+RUN apt update && apt install -y make wget
diff --git a/Jenkinsfile b/Jenkinsfile
index f2ac750..df45cf3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -19,6 +19,7 @@ pipeline {
     stages {
         stage("Build") {
             steps {
+                sh 'make clean'
                 sh 'make'
                 archiveArtifacts artifacts: 'setup_*.exe'
             }