annotate vext.bat @ 1757:d634e253071a

Update for a couple of fixes prompted by undefined-behaviour sanitiser
author Chris Cannam
date Mon, 11 Dec 2017 13:23:33 +0000
parents d60b30ea9b80
children
rev   line source
Chris@1706 1 @echo off
Chris@1706 2 PowerShell -NoProfile -ExecutionPolicy Bypass -Command "& '%~dpn0.ps1' %*";
Chris@1706 3