From f7371093300ebc79279b8031441f572d2a52af9b Mon Sep 17 00:00:00 2001
From: Dany LE <xsang.le@gmail.com>
Date: Thu, 29 Sep 2022 19:07:51 +0200
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 8b220e9..bb29cb5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -25,6 +25,7 @@ pipeline{
           [ -d build ] && rm -rf build
           mkdir -p build/opt/www/htdocs
           export BUILDDIR="$WORKSPACE/build/opt/www/htdocs"
+          make
         '''
         script {
             // only useful for any master branch