From 9f5fda75df643cae9ca7b5f2ac65eef64adb864a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Tue, 9 Oct 2018 09:05:42 +0200
Subject: [PATCH] jenkins: update job name to authentic (#27121)

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 6d81b9b3..2dd5451b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -11,7 +11,7 @@ pipeline {
         stage('Packaging') {
             steps {
                 script {
-                    if (env.JOB_NAME == 'authentic2' && env.GIT_BRANCH == 'origin/master') {
+                    if (env.JOB_NAME == 'authentic' && env.GIT_BRANCH == 'origin/master') {
                         sh 'sudo -H -u eobuilder /usr/local/bin/eobuilder authentic'
                     }
                 }
-- 
2.19.1