lint.cmd - github.com/mono/linker.git - Unnamed repository; edit this file 'description' to name the repository.

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

lint.cmd - github.com/mono/linker.git - Unnamed repository; edit this file 'description' to name the repository.

index : github.com/mono/linker.git

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

www-data

summary refs log tree commit diff

path: root/lint.cmd

blob: 0b63922a91b32de08bf780fb40fdd25be6b4a9c1 (plain)

1
2
3

@echo off
powershell -ExecutionPolicy ByPass -NoProfile -command "Set-Location %~dp0; & """%~dp0eng\dotnet.ps1""" ""format illink.sln --exclude external %*"""
powershell -ExecutionPolicy ByPass -NoProfile -command "Set-Location %~dp0; & """%~dp0eng\dotnet.ps1""" ""format illink.sln --exclude external --verify-no-changes %*"""