From d486ecdb45ad7b0908b7c4010672af72e5a67caf Mon Sep 17 00:00:00 2001 From: Mathieu Desnoyers Date: Thu, 12 Feb 2009 16:32:30 -0500 Subject: [PATCH] Add gitignore files Signed-off-by: Paul E. McKenney Signed-off-by: Mathieu Desnoyers --- .gitignore | 9 +++++++++ formal-model/.gitignore | 3 +++ 2 files changed, 12 insertions(+) create mode 100644 .gitignore create mode 100644 formal-model/.gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..29aa7e5 --- /dev/null +++ b/.gitignore @@ -0,0 +1,9 @@ +test_rwlock_timing +test_urcu +test_urcu_timing +test_urcu_yield +urcu-asm.o +urcu.o +urcutorture +urcutorture-yield +urcu-yield.o diff --git a/formal-model/.gitignore b/formal-model/.gitignore new file mode 100644 index 0000000..49fdd8a --- /dev/null +++ b/formal-model/.gitignore @@ -0,0 +1,3 @@ +pan +pan.* +urcu.spin.trail -- 2.34.1