build-scripts/winrtbuild.bat
author Ryan C. Gordon
Mon, 18 May 2020 15:52:51 -0400
changeset 13815 8c7bf8f29b8c
parent 9217 e15f7d963d98
permissions -rw-r--r--
checker-buildbot.sh: Use Ninja, not GNU make, and expect scan-build in $PATH.
     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%'";