Merge pull request #4630 from BrzVlad/feature-valloc-limit

[mono.git] / scripts / .gitignore

diff --git a/scripts/.gitignore b/scripts/.gitignore
index 0904216278062951537d7f157fe2668001c76891..f7f8b3fe0e2c0cfd7a429d6a2c01942b2407dc68 100644 (file)
--- a/scripts/.gitignore
+++ b/scripts/.gitignore
@@ -3,6 +3,7 @@
 /al1
 /al2
 /caspol
+/cert-sync
 /cert2spc
 /certmgr
 /cccheck
@@ -49,6 +50,7 @@
 /mono-abi-info
 /mono-api-diff
 /mono-api-info
+/mono-api-html
 /mono-api-info1
 /mono-api-info2
 /mono-cil-strip
@@ -64,6 +66,7 @@
 /mono-service
 /mono-service2
 /mono-shlib-cop
+/mono-symbolicate
 /mono-xmltool
 /mozroots
 /nunit-console
@@ -82,7 +85,7 @@
 /sgen
 /sgen1
 /signcode
-/smcs
+/csc
 /sn
 /soapsuds
 /sqlmetal