From a7d1f37682c2d86f70c986be35a1332893eba255 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..0d4cf42 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'),