diff --git a/hermit/.gitignore b/hermit/.gitignore new file mode 100644 index 000000000..06f05e20c --- /dev/null +++ b/hermit/.gitignore @@ -0,0 +1,8 @@ +*.o +*.dep +*~ +*.elf +*.sym +*.bin +documentation/html/ +include/hermit/config.inc