From d9532a32e023fe4c0b1cfb593de65efc4077c54c Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Fri, 1 Jan 2016 23:47:46 +0100 Subject: [PATCH] remove obsolete entries in .gitignore --- .gitignore | 1 - hermit/.gitignore | 3 +-- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index e453ab7a9..605fa76b6 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,3 @@ -Makefile config.log config.status autom4te.cache diff --git a/hermit/.gitignore b/hermit/.gitignore index 485c05a72..feb723cf0 100644 --- a/hermit/.gitignore +++ b/hermit/.gitignore @@ -6,15 +6,14 @@ *.elf32 *.sym *.bin -initrd.cpio qemu-vlan0.pcap autom4te.cache documentation/html/ include/hermit/config.inc tools/*.img tools/*_proxy -tools/make_initrd tools/*iso +tools/init.h usr/tests/hello usr/tests/hello++ usr/tests/hellof