From f1c253a5be6055865db8de5d01d9029b197d0d0a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20K=C3=BChnel?= <kuhnel@google.com>
Date: Fri, 13 Dec 2019 15:01:32 +0000
Subject: [PATCH] added timestamps to windows

---
 Jenkins/master-windows-pipeline/Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkins/master-windows-pipeline/Jenkinsfile b/Jenkins/master-windows-pipeline/Jenkinsfile
index d42d917..460aa92 100644
--- a/Jenkins/master-windows-pipeline/Jenkinsfile
+++ b/Jenkins/master-windows-pipeline/Jenkinsfile
@@ -17,6 +17,8 @@ pipeline {
     triggers {
         pollSCM '0 H/2 * * *'
     }
+    // enable timestaps for getting execution times
+    options { timestamps () }
     environment {
         BUILD_ID="${JOB_BASE_NAME}-${BUILD_NUMBER}"
         TARGET_DIR="/mnt/nfs/results/${BUILD_ID}"