diff --git a/.gitignore b/.gitignore index 605fa76b6..b08542a6d 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,5 @@ config.log config.status autom4te.cache +Makefile +*.pcap diff --git a/hermit/.gitignore b/hermit/.gitignore index 1c4e51946..6de7dfc4d 100644 --- a/hermit/.gitignore +++ b/hermit/.gitignore @@ -10,9 +10,7 @@ qemu-vlan0.pcap autom4te.cache documentation/html/ include/hermit/config.inc -tools/*.img -tools/*_proxy -tools/*iso +tools/proxy tools/init.h usr/tests/hello usr/tests/hello++