[jit] Disable the optimization added by 63eb94e451a59491034516f2ec9f27d586b34d86...

[mono.git] / mono / mini / .gitignore

diff --git a/mono/mini/.gitignore b/mono/mini/.gitignore
index 8a85f25bc9b19d25653135832d532e6448c10491..6d694bc2957dfc692be3108bf3c3aeb5b2c53528 100644 (file)
--- a/mono/mini/.gitignore
+++ b/mono/mini/.gitignore
@@ -28,5 +28,6 @@
 /buildver.h
 /TAGS
 /mono-sgen
+/mono-boehm
 /buildver-sgen.h
-
+/buildver-boehm.h