aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/.gitignore
diff options
context:
space:
mode:
authorGlenn Elliott <gelliott@cs.unc.edu>2012-03-04 19:47:13 -0500
committerGlenn Elliott <gelliott@cs.unc.edu>2012-03-04 19:47:13 -0500
commitc71c03bda1e86c9d5198c5d83f712e695c4f2a1e (patch)
treeecb166cb3e2b7e2adb3b5e292245fefd23381ac8 /scripts/.gitignore
parentea53c912f8a86a8567697115b6a0d8152beee5c8 (diff)
parent6a00f206debf8a5c8899055726ad127dbeeed098 (diff)
Merge branch 'mpi-master' into wip-k-fmlpwip-k-fmlp
Conflicts: litmus/sched_cedf.c
Diffstat (limited to 'scripts/.gitignore')
-rw-r--r--scripts/.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/.gitignore b/scripts/.gitignore
index c5d5db54c009..105b21f08185 100644
--- a/scripts/.gitignore
+++ b/scripts/.gitignore
@@ -7,3 +7,5 @@ pnmtologo
7bin2c 7bin2c
8unifdef 8unifdef
9ihex2fw 9ihex2fw
10recordmcount
11docproc