Rollup merge of #115885 - RalfJung:dont-ignore-ice, r=oli-obk · rust-lang/rust@04edb2b · GitHub

Commit

Rollup merge of #115885 - RalfJung:dont-ignore-ice, r=oli-obk

Browse files

don't globally ignore rustc-ice files

Reverts a change that happened in #114586 but is unrelated to that PR and wasn't discussed.

ICE files appearing is somewhat of a nuisance, but I'd rather clean them up than have them accumulate in my source folder. `@oli-obk` if you want to ignore them you can add them to your local `.git/info/exclude`.

Loading branch information

matthiaskrgr authored Sep 16, 2023

2 parents 77e0102 + ec1d049 commit 04edb2b

.gitignore

-Original file line number
+Diff line change
@@ Expand Up / @@ -58,7 +58,6 @@ build/ @@
     \#*
     \#*\#
     .#*
-    rustc-ice-*.txt
     ## Tags
     tags
@@ Expand Down @@

0 comments on commit `04edb2b`

Please sign in to comment.