From 7419b2d7f7a9745cd6f028f0fa43b7b17fcac9ca Mon Sep 17 00:00:00 2001
From: Gerd Hoffmann <kraxel@redhat.com>
Date: Tue, 18 Aug 2020 17:15:44 +0200
Subject: more shell

---
 Jenkinsfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 58c2d7a..62941cc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,7 +13,11 @@ pipeline {
     stages {
         stage('Run shell') {
             steps {
-                sh 'cat /etc/os-release'
+                sh '''
+                    set -x
+                    cat /etc/os-release
+                    uname -a
+                '''
             }
         }
     }
-- 
cgit