From d2649e161b00b36dbf0366475b1aac5b619eebf3 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Wed, 21 Sep 2022 15:40:55 +0200
Subject: [PATCH] Update 'Jenkinsfile'

add ansicolor option
---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index c9e96d2..a66537d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,6 +6,9 @@
 
 pipeline {
     agent { label 'CI'}
+    options {
+        ansiColor('xterm')
+    }
     tools {
        maven 'Maven 3-6-2'
        jdk 'OpenJDK 8'