From a539379c3f242111b76dad40076645921662e386 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Wed, 6 Mar 2024 20:40:26 +0100
Subject: [PATCH] ci: update for new build system (#71292)

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

diff --git a/Jenkinsfile b/Jenkinsfile
index b722110f..1c6c674f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,7 @@ pipeline {
                 script {
                     sh 'tox -rv'  // makes pre-commit check style
                     if (env.GIT_BRANCH.startsWith('wip/')) {
-                      sh 'make css'
+                      sh 'python3 setup.py compile_scss'
                     }
                     sh '(cd help/fr/ && if [ $(yelp-build html *.page 2>&1 | wc -c) -ne 0 ]; then exit 1; fi)'
                     sh 'git clean -xdf'