build.cmd « fsharpbinding « external « main - github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.

Welcome to mirror list, hosted at ThFree Co, Russian Federation.

build.cmd « fsharpbinding « external « main - github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.

index : github.com/mono/monodevelop.git

Unnamed repository; edit this file 'description' to name the repository.

www-data

summary refs log tree commit diff

path: root/main/external/fsharpbinding/build.cmd

blob: ee316b07f6cdc61b01352bd1a1fe45f342ae6226 (plain)

@echo off
SETLOCAL

cls

.paket\paket.bootstrapper.exe
if errorlevel 1 (
  exit /b %errorlevel%
)

.paket\paket.exe restore
if errorlevel 1 (
  exit /b %errorlevel%
)

SET TARGET=Default

IF NOT [%1]==[] (SET TARGET=%~1)

"packages\FAKE\tools\Fake.exe" "build.fsx" "target="%TARGET%""