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 <paulmck@linux.vnet.ibm.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>

diff --git a/.gitignore b/.gitignore
index 29aa7e51976561a1b2702a12b7d1f6b9a83637d1..cae097ae7b8724b3eeb663f822bd06fe9b24470f 100644 (file)
--- 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 (file)
index 0000000..d62f4bb
--- /dev/null
+++ b/formal-model/urcu-paulmck/.gitignore
@@ -0,0 +1,2 @@
+pan*
+*.trail