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'
             }