Ignore x86 generated header.
This commit is contained in:
parent
507e0b9d16
commit
bb0d6b498c
1 changed files with 1 additions and 0 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
|
@ -28,3 +28,4 @@ manual/manual.pdf
|
|||
# Generated headers
|
||||
libsel4/arch_include/arm/sel4/arch/invocation.h
|
||||
libsel4/arch_include/ia32/sel4/arch/invocation.h
|
||||
libsel4/arch_include/x86/sel4/arch/invocation.h
|
||||
|
|
|
|||
Loading…
Reference in a new issue