aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@mpi-sws.org>2012-08-13 07:25:32 -0400
committerBjoern Brandenburg <bbb@mpi-sws.org>2012-08-14 14:46:12 -0400
commit9c0017144cc59762e9a79d453794f9aa8545a54f (patch)
tree479b3f22403eddecca78df0a1706577cfe41fddb
parente906a17d957e9197c9e41520308baa295b827a54 (diff)
git: ignore files generated by the build system
Prevents accidental staging of auto-generated files.
-rw-r--r--.gitignore6
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 7f419d0..6b3f840 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,3 +25,9 @@ measure_syscall
25 25
26# build system files 26# build system files
27.config 27.config
28inc/config.makefile
29test_catalog.inc
30
31# files copied in from the kernel tree
32include/litmus
33arch/*/include/asm