diff --git a/.gitignore b/.gitignore index 55602b83af85087823237e66490b5144660b50b5..eb5e2145ead76c9d4a567fa7f5e094e25e335433 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,10 @@ .project /main.pl +# SICStus generated and temporary build files +*_glue.h +*_glue_*.c + # Built libraries *.a *.o