History log of /seL4-l4v-master/seL4/.gitignore
Revision Date Author Comments
# 17706f02 17-Jun-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Fix .gitignore patterns

Fixes #110 on Github. As the issue describes, `**` is not
the right syntax.

We could write `**/*.pyc` instead, but according to
https://git-scm.com/docs/gitignore a pattern already
matches at any directory level if it doesn't contain `/`.

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>


# 79da0792 01-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert license tags to SPDX identifiers

This commit also converts our own copyright headers to directly use
SPDX, but leaves all other copyright header intact, only adding the
SPDX ident. As far as possible this commit also merges multiple
Data61 copyright statements/headers into one for consistency.


# 0f88bce2 16-Apr-2018 Kent McLeod <Kent.Mcleod@data61.csiro.au>

git: Remove invocation.h files from .gitignore


# 83ba0847 20-Feb-2018 Hesham Almatary <hesham.almatary@unsw.edu.au>

[SELFOUR-1156] RISC-V Port

Experimental release that supports both RV32 and RV64


# dc8e101a 27-Feb-2017 Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au>

Add gitignore for parsetab.py


# 1d112ea1 06-Feb-2017 amrzar <azarrabi@nicta.com.au>

Add aarch64 to gitignore file


# d379837e 28-Nov-2016 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

manual: Added staging dirs to gitignore

JIRA: SELFOUR-606


# 39c6f24e 06-Nov-2016 amrzar <azarrabi@nicta.com.au>

add x86_64 version of generated invocation.h to .gitignore


# 11bc9b21 11-Feb-2016 Robert Kaiser <robert.kaiser@nicta.com.au>

add aarch32 version of generated invocation.h to .gitignore


# ae847a7f 13-Jan-2016 Anna Lyons <Anna.Lyons@nicta.com.au>

trivial: add new sel4_arch invocation.h files to .gitignore


# 427c4771 17-Aug-2015 Gernot Heiser <gernot@nicta.com.au>

manual: Purely cosmetic changes / improved wording


# bb0d6b49 02-Jun-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Ignore x86 generated header.


# 570306e1 21-May-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

.gitignore: move Haskell ignores to their own file


# 0870e409 10-Nov-2014 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Ignore generated libsel4 headers.


# 6f5a3670 19-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

add .gitignore