git: Remove invocation.h files from .gitignore

seL4 · May 21, 2018 · 0f88bce · 0f88bce
1 parent cf69776
commit 0f88bce
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/.gitignore b/.gitignore
@@ -29,17 +29,5 @@ manual/stage
 manual/doxygen-output
 manual/generated
 
-# Generated headers
-libsel4/arch_include/arm/sel4/arch/invocation.h
-libsel4/arch_include/ia32/sel4/arch/invocation.h
-libsel4/arch_include/riscv/sel4/arch/invocation.h
-libsel4/arch_include/x86/sel4/arch/invocation.h
-libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/invocation.h
-libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/invocation.h
-libsel4/sel4_arch_include/ia32/sel4/sel4_arch/invocation.h
-libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/invocation.h
-libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/invocation.h
-libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/invocation.h
-
 # Emacs backups
 *~