diff --git a/src/.gitignore b/src/.gitignore index 4b27891dc..e1a9c10d5 100644 --- a/src/.gitignore +++ b/src/.gitignore @@ -4,3 +4,5 @@ Makefile.in .libs libspot.la _.cc +*.log +*.dir diff --git a/src/eltltest/.gitignore b/src/eltltest/.gitignore index ef6565fb4..48066772d 100644 --- a/src/eltltest/.gitignore +++ b/src/eltltest/.gitignore @@ -1 +1,5 @@ defs +acc +nfa +input +prelude diff --git a/src/sanity/.gitignore b/src/sanity/.gitignore index 67e8759f7..4fce21135 100644 --- a/src/sanity/.gitignore +++ b/src/sanity/.gitignore @@ -1,3 +1,4 @@ Makefile.in Makefile incltest.cc +incltest.tmp