From d4ac4fd3a12481f3f4e2ab11bf4914975f3a233c Mon Sep 17 00:00:00 2001
From: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Date: Tue, 24 Jul 2018 16:59:27 +0200
Subject: [PATCH] fix release script for windows

---
 scratch/release.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scratch/release.sh b/scratch/release.sh
index c977c8fe5..d5c0a0771 100755
--- a/scratch/release.sh
+++ b/scratch/release.sh
@@ -111,7 +111,8 @@ function convert_path() {
 
 cd "${TEMP}"
 
-mkdir -p lua/{build,install}
+"${CMAKE}" -E make_directory lua/build
+"${CMAKE}" -E make_directory lua/install
 
 "${CMAKE}" \\
     -H"\$(convert_path lua)" \\
@@ -121,7 +122,7 @@ mkdir -p lua/{build,install}
     -DCMAKE_INSTALL_PREFIX="\$(convert_path lua/install)" ${EXTRA_FLAGS}
 "${CMAKE}" --build "\$(convert_path lua/build)" --target install --config Release
 
-mkdir -p build
+"${CMAKE}" -E make_directory build
 "${CMAKE}" \\
     -H"\$(convert_path source)" \\
     -B"\$(convert_path build)" \\