Adding timestamp option.

Signed-off-by: Boris Djalal <boris.djalal@eurecom.fr>

Adding timestamp option.
Signed-off-by: Boris Djalal <boris.djalal@eurecom.fr>
3d4bb23e · Boris Djalal · 88be4be2 · 3d4bb23e
Commit 3d4bb23e authored Apr 16, 2019 by Boris Djalal
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

ci-scripts/test-boris-Jenkinsfile ci-scripts/test-boris-Jenkinsfile +1 -0

No files found.
--- a/ci-scripts/test-boris-Jenkinsfile
+++ b/ci-scripts/test-boris-Jenkinsfile
@@ -6,6 +6,7 @@ pipeline {
    }
    options {
        disableConcurrentBuilds()
+	timestamps()
        ansiColor('xterm')
    }
    stages {