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.
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%'";