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

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

diff --git a/CI/Windows.bat b/CI/Windows.bat
index 819a9854..13cead8f 100644
--- a/CI/Windows.bat
+++ b/CI/Windows.bat
@@ -69,6 +69,8 @@ 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\plugins
   mkdir Build\plugins\platforms