Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
34 lines (25 sloc) 681 Bytes
@echo off
pushd Microsoft.VisualStudio.CodeTools\CodeToolsSetup
call buildMSM release
if errorlevel 1 goto Failed
call export release
if errorlevel 1 goto Failed
popd
pushd Microsoft.Research\ManagedContract.Setup
call buildmsi %1 devlab9ts
if errorlevel 1 goto Failed
call buildnuget %1 devlab9ts
if errorlevel 1 goto Failed
popd
echo .
echo ****************************************************
echo Done building CodeContracts version %1
echo ****************************************************
exit /b 0
:Failed
popd
echo .
echo ****************************************************
echo Build FAILED
echo ****************************************************
exit /b 1
You can’t perform that action at this time.