From a9f22f460cbe668deea5e59c03bc1c64475fe483 Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Sun, 2 May 2021 14:27:18 +0200
Subject: Jenkins: tabs to spaces

---
 Jenkinsfile | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index aced50c7..56788e37 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -33,14 +33,14 @@ node('Docker') {
             url: getGitRepoURL()
     }
     stage('Build Docker container') {
-		script {
-			sh "docker build -t ${env.DOCKER_IMAGE} docker"
-			if ( ! isCustomBuild()) {
-				withDockerRegistry([credentialsId: "DockerHub"]) {
-					sh "docker push ${env.DOCKER_IMAGE}"
-				}
-			}
-		}
+        script {
+            sh "docker build -t ${env.DOCKER_IMAGE} docker"
+            if ( ! isCustomBuild()) {
+                withDockerRegistry([credentialsId: "DockerHub"]) {
+                    sh "docker push ${env.DOCKER_IMAGE}"
+                }
+            }
+        }
     }
     stage('Build timestamp') {
         script {
@@ -136,7 +136,7 @@ pipeline {
                         sh "sudo make testc"
                     }
                 }
-			}
+            }
         }
         stage('Build QEMU image') {
             when {
-- 
cgit v1.2.3