configure.bat « scripts - 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.

configure.bat « scripts - 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/scripts/configure.bat

blob: e1fc3ff8d6494766635fd855cee1d52909f1a1aa (plain)

@echo off
set DIR=%~dp0\
if not exist %DIR%\configure.exe (
    csc /nologo /out:%DIR%\configure.exe %DIR%\configure.cs
)
%DIR%\configure.exe %*