Skip to main content

Browse the archive

https://github.com/Microsoft/CodeContracts
16 May 2021, 18:14:27 UTC
Revision 22baf4311a2a8e69fffdd7532a092c6bd30c3a40 authored by Francesco Logozzo on 08 January 2015, 20:05:37 UTC, committed by Francesco Logozzo on 08 January 2015, 20:06:05 UTC 
Fixed the .gitignore and Added missing files to build CC distribution
1 parent c187973
Raw File
Tip revision: 22baf4311a2a8e69fffdd7532a092c6bd30c3a40 authored by Francesco Logozzo on 08 January 2015, 20:05:37 UTC
Fixed the .gitignore and Added missing files to build CC distribution
Tip revision: 22baf43
buildCC.bat 
@echo off
cd Microsoft.Research\ManagedContract.Setup
call buildmsi %1 devlab9ts
call buildnuget %1 devlab9ts 
cd ..\..
echo .
echo ****************************************************
echo Done building CodeContracts version %1
echo ****************************************************
back to top