diff --git a/.gitignore b/.gitignore index 3f9f7e948..a0ad40ea2 100644 --- a/.gitignore +++ b/.gitignore @@ -59,6 +59,7 @@ dist-newstyle/ old /log /profs/* +/*.prof.* /bin/** /.latest.* test.hs