diff --git a/.gitignore b/.gitignore index 70221c1fb..1256e279f 100644 --- a/.gitignore +++ b/.gitignore @@ -216,6 +216,8 @@ /testsuite/**/program /testsuite/**/_log +/testsuite/_retries + /testsuite/tests/asmcomp/codegen /testsuite/tests/asmcomp/parsecmm.ml /testsuite/tests/asmcomp/parsecmm.mli