diff --git a/Jenkinsfile b/Jenkinsfile
index 2b1e6c6..1365ebb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -42,17 +42,6 @@ pipeline{
           '''
       }
     }
-    stage('Build demo') {
-      steps {
-        sshCommand remote: remote, command: '''
-            set -e
-            export WORKSPACE=$(realpath "./jenkins/workspace/antos")
-            cd $WORKSPACE
-            export BUILDDIR="/home/dany/docker/antos/htdocs/os"
-            make
-          '''
-      }
-    }
     stage('Build release') {
       steps {
         sshCommand remote: remote, command: '''