From 10eb2dbd3ae7b73dd18cc64674c0a6f6e269bd55 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20K=C3=BChnel?= <kuhnel@google.com>
Date: Mon, 2 Dec 2019 14:43:02 +0100
Subject: [PATCH] revert of last commit

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

diff --git a/Jenkins/master-windows-pipeline/Jenkinsfile b/Jenkins/master-windows-pipeline/Jenkinsfile
index 348ef0f..a5ebee3 100644
--- a/Jenkins/master-windows-pipeline/Jenkinsfile
+++ b/Jenkins/master-windows-pipeline/Jenkinsfile
@@ -37,7 +37,7 @@ pipeline {
         }
         stage('CMake') {
             steps {
-                bat "powershell ${SCRIPT_DIR}/run_cmake.ps1"
+                powershell "${SCRIPT_DIR}/run_cmake.ps1"
             }
         }
         stage('ninja all') {