From 2784227bd360738b5252520803ab3ddb367d8cde Mon Sep 17 00:00:00 2001
From: sylvain tricot <sylvain.tricot@univ-rennes1.fr>
Date: Wed, 30 Jun 2021 15:31:55 +0200
Subject: [PATCH] Added the build code target

---
 Jenkinsfile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b5f9c2f..baf511c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,12 +3,11 @@ pipeline {
     stages {
         stage('Building the code...') {
             steps {
-                echo 'make devel'
+		sh 'make devel'
             }
         }
         stage('Building HTML documentation...') {
             steps {
-                echo 'building HTML...'
                 sh '/bin/bash -c "source _venv/bin/activate && pip install sphinx lxml"'
                 sh '/bin/bash -c "source _venv/bin/activate && cd doc && make html"'
             }