diff options
-rw-r--r-- | .gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index fb50d3520..0fd0bec87 100644 --- a/.gitignore +++ b/.gitignore @@ -20,7 +20,10 @@ dist/mcode/lib/ lib/ # Generated files on Linux -./Makefile +/Makefile +libghdlvpi.so +version.ads +version.tmp config.status default_paths.ads elf_arch.ads |