From 0771c88bd5d2389101a082d76a09ba9969c96096 Mon Sep 17 00:00:00 2001 From: "Paul E. McKenney" Date: Tue, 26 May 2009 21:03:24 -0400 Subject: [PATCH] Add .gitignore entries to reduce 'git status' chatter Add some entries to .gitignore files to reduce chatter from "git status". Signed-off-by: Paul E. McKenney Signed-off-by: Mathieu Desnoyers --- .gitignore | 6 ++++++ formal-model/urcu-paulmck/.gitignore | 2 ++ 2 files changed, 8 insertions(+) create mode 100644 formal-model/urcu-paulmck/.gitignore diff --git a/.gitignore b/.gitignore index 29aa7e5..cae097a 100644 --- a/.gitignore +++ b/.gitignore @@ -1,9 +1,15 @@ +liburcu.so test_rwlock_timing test_urcu +test_urcu_dynamic_link test_urcu_timing test_urcu_yield urcu-asm.o +urcu-asm.S urcu.o urcutorture urcutorture-yield urcu-yield.o +/api.h +/arch.h +/arch_atomic.h diff --git a/formal-model/urcu-paulmck/.gitignore b/formal-model/urcu-paulmck/.gitignore new file mode 100644 index 0000000..d62f4bb --- /dev/null +++ b/formal-model/urcu-paulmck/.gitignore @@ -0,0 +1,2 @@ +pan* +*.trail -- 2.34.1