From 695d0c27544e3d0546dc2e1ddfec5d2b788ba786 Mon Sep 17 00:00:00 2001
From: William Petit <wpetit@cadoles.com>
Date: Thu, 25 Apr 2024 15:54:43 +0200
Subject: [PATCH] ci: fix mktools installation

---
 Jenkinsfile | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index a351865..937e1fa 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -50,6 +50,13 @@ standardMakePipeline([
         'extras;google;m2repository' \
         'extras;google;google_play_services'
     ''',
+    'hooks': {
+        'pre-release': {
+            sh '''
+            make .mktools
+            '''
+        }
+    },
     'credentials': [
         file(credentialsId: 'android-keystore', variable: 'ANDROID_KEYSTORE_FILE'),
         string(credentialsId: 'android-keystore-pass', variable: 'ANDROID_KEYSTORE_PASS'),