From a499744084d9e8f5438f3530629f02a3d6e6ed6f Mon Sep 17 00:00:00 2001 From: Sebastiaan Janssen Date: Sat, 9 Sep 2017 15:09:34 +0200 Subject: [PATCH] Move BUILD.md to root, adds build.bat --- build/build.md => BUILD.md | 0 build.bat | 15 +++++++++++++++ 2 files changed, 15 insertions(+) rename build/build.md => BUILD.md (100%) create mode 100644 build.bat diff --git a/build/build.md b/BUILD.md similarity index 100% rename from build/build.md rename to BUILD.md diff --git a/build.bat b/build.bat new file mode 100644 index 0000000000..da9c4e137d --- /dev/null +++ b/build.bat @@ -0,0 +1,15 @@ +@ECHO OFF +powershell .\build\build.ps1 + +IF ERRORLEVEL 1 ( + GOTO :error +) ELSE ( + GOTO :EOF +) + +:error +ECHO. +ECHO Can not run build\build.ps1. +ECHO If this is due to a SecurityError then make sure to run the following command from an administrator command prompt: +ECHO. +ECHO powershell Set-ExecutionPolicy -ExecutionPolicy RemoteSigned \ No newline at end of file