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

---
 CI/Windows.bat | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/CI/Windows.bat b/CI/Windows.bat
index 1f91841e..ebb09c3b 100644
--- a/CI/Windows.bat
+++ b/CI/Windows.bat
@@ -69,12 +69,20 @@ IF "%APPS%" == "ON" (
 
   ECHO "Copying Platform plugins from %QT_INSTALL_PATH%\plugins\platforms to Build\plugins\platforms"
   
-  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
+  
+  dir 
+  
+  dir %QT_INSTALL_PATH%
+  
+  dir %QT_INSTALL_PATH%\plugins
+  
+  dir %QT_INSTALL_PATH%\plugins\platforms
 
   REM Copy the platform plugins subdirectory for the qt plugins required to run the gui apps
   xcopy /Y %QT_INSTALL_PATH%\plugins\platforms Build\plugins\platforms