From 19a8610f1c46c1faa113eee4045baa17e03adfa4 Mon Sep 17 00:00:00 2001
From: Dany LE <xsang.le@gmail.com>
Date: Mon, 22 Aug 2022 09:52:10 +0200
Subject: [PATCH] Update Jenkinsfile

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

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