diff --git a/.gitignore b/.gitignore index b4491c20e5696942a17c501980efc792e26f9933..0d9cfe2b2ecfb4a609ee6d1c3a813c24a3756795 100644 --- a/.gitignore +++ b/.gitignore @@ -53,6 +53,8 @@ _build /tests/crowbar/test_ghost_cfg /tests/*/*.opt +/.test-errors.log + /dev/fc-time /dev/fc-memuse /bin/ocamldep_transitive_closure