diff options
author | Egor Bogatov <egorbo@gmail.com> | 2020-02-06 18:34:16 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-06 18:34:16 +0300 |
commit | 134b198b966f014fdb4a10b18c6bf19c5ebb8a6d (patch) | |
tree | 846dd26a9f98ffb22fdbe351b8b9a82153e80af5 /.gitignore | |
parent | e8dc3a1d34c08d1079df13de3d37fabec1a50a90 (diff) |
[mono] Improve mono.proj, auto-detect build configurations (#31739)
* Auto-detect build configuration in Makefile
* Improve RunCoreClrTests target
* Clone .dotnet to .dotnet-mono
* Implement Console
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index fa697b57d3f..e111924f421 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,7 @@ syntax: glob # Tool Runtime Dir .dotnet/ +.dotnet-mono/ .packages/ .tools/ |