From 2df6d72fbdb60413ee7129236e14807d48466a96 Mon Sep 17 00:00:00 2001
From: Kersten Schuster <schuster@cs.rwth-aachen.de>
Date: Tue, 30 Oct 2018 09:02:37 +0100
Subject: [PATCH] Update Windows.bat

---
 CI/Windows.bat | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CI/Windows.bat b/CI/Windows.bat
index 13cead8f..1f91841e 100644
--- a/CI/Windows.bat
+++ b/CI/Windows.bat
@@ -72,6 +72,7 @@ IF "%APPS%" == "ON" (
   dir 
   
   REM Create the platform plugins subdirectory for the qt plugins required to run the gui apps
+  mkdir Build
   mkdir Build\plugins
   mkdir Build\plugins\platforms