diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index ea40cf1c5..a962850ed 100644 --- a/.gitignore +++ b/.gitignore @@ -5,9 +5,30 @@ b~*.ad? *.v87 *.v93 *.v08 +*.cf + +testsuite/get_entities # Generated files on windows. +build/ dist/mcode/build/ dist/mcode/lib/ -testsuite/get_entities +# Generated directories on Linux +lib/ + +# Generated files on Linux +Makefile +config.status +default_pathes.ads +elf_arch.ads +ghdl.gpr +ghdl1-* +ghdl_llvm +grt-backtraces-impl.ads +grt-files +grt-files.in +grt.lst +libgrt.a +run-bind.adb +run-bind.ads |