| author | David Ludwig <dludwig@pobox.com> |
| Mon, 03 Nov 2014 13:07:51 -0500 | |
| changeset 9217 | e15f7d963d98 |
| parent 9216 | build-scripts/winrt-build.bat@61cf772a4ed3 |
| permissions | -rw-r--r-- |
| dludwig@9216 | 1 |
@ECHO OFF |
| dludwig@9216 | 2 |
REM |
| dludwig@9217 | 3 |
REM winrtbuild.bat: a batch file to help launch the winrtbuild.ps1 |
| dludwig@9216 | 4 |
REM Powershell script, either from Windows Explorer, or through Buildbot. |
| dludwig@9216 | 5 |
REM |
| dludwig@9216 | 6 |
SET ThisScriptsDirectory=%~dp0 |
| dludwig@9217 | 7 |
SET PowerShellScriptPath=%ThisScriptsDirectory%winrtbuild.ps1 |
| dludwig@9216 | 8 |
PowerShell -NoProfile -ExecutionPolicy Bypass -Command "& '%PowerShellScriptPath%'"; |