From 32fe2d7f4301e79607a481403dde7a23cb9c402d Mon Sep 17 00:00:00 2001
From: Mike Bonnet <mikeb@redhat.com>
Date: Feb 16 2018 01:42:07 +0000
Subject: add timestamps to pipeline output


---

diff --git a/Jenkinsfile b/Jenkinsfile
index d5c0efe..0177fe3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,6 +3,7 @@
 */
 
 try { // massive try{} catch{} around the entire build for failure notifications
+    timestamps {
 
 node('fedora') {
     checkout scm
@@ -168,6 +169,7 @@ node('docker') {
     }
 }
 
+    }
 } catch (e) {
     if (ownership.job.ownershipEnabled) {
         mail to: ownership.job.primaryOwnerEmail,