diff --git a/.gitignore b/.gitignore index 4f3539f0b..7850c4d7a 100644 --- a/.gitignore +++ b/.gitignore @@ -27,6 +27,9 @@ summary *.summary *.faillog +*.orig +*~ +.DS_Store obj_* symbols.* Makefile.target