From 91b983776e33948ebe0f14eb358bc1595c2c2251 Mon Sep 17 00:00:00 2001
From: Ethan Roseman <ethteck@gmail.com>
Date: Sun, 20 Feb 2022 12:53:05 -0500
Subject: [PATCH] Set up AnsiColor Jenkins plugin (#682)

* Set up AnsiColor Jenkins plugin

* deliberate error

* Update z_en_firefly.c
---
 Jenkinsfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index cf5d8f3b63..50cd889087 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,6 +3,10 @@ pipeline {
         label 'mm'
     }
 
+    options {
+        ansiColor('xterm')
+    }
+
     stages {
         stage('Check formatting') {
             steps {