build-scripts/winrtbuild.bat
changeset 9217 e15f7d963d98
parent 9216 61cf772a4ed3
equal deleted inserted replaced
9216:61cf772a4ed3 9217:e15f7d963d98
       
     1 @ECHO OFF
       
     2 REM
       
     3 REM winrtbuild.bat: a batch file to help launch the winrtbuild.ps1
       
     4 REM   Powershell script, either from Windows Explorer, or through Buildbot.
       
     5 REM
       
     6 SET ThisScriptsDirectory=%~dp0
       
     7 SET PowerShellScriptPath=%ThisScriptsDirectory%winrtbuild.ps1
       
     8 PowerShell -NoProfile -ExecutionPolicy Bypass -Command "& '%PowerShellScriptPath%'";