diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-08-13 07:25:32 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-08-14 14:46:12 -0400 |
commit | 9c0017144cc59762e9a79d453794f9aa8545a54f (patch) | |
tree | 479b3f22403eddecca78df0a1706577cfe41fddb | |
parent | e906a17d957e9197c9e41520308baa295b827a54 (diff) |
git: ignore files generated by the build system
Prevents accidental staging of auto-generated files.
-rw-r--r-- | .gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -25,3 +25,9 @@ measure_syscall | |||
25 | 25 | ||
26 | # build system files | 26 | # build system files |
27 | .config | 27 | .config |
28 | inc/config.makefile | ||
29 | test_catalog.inc | ||
30 | |||
31 | # files copied in from the kernel tree | ||
32 | include/litmus | ||
33 | arch/*/include/asm | ||