linuxrwlocks: add linux locks test

[model-checker-benchmarks.git] / linuxrwlocks / .gitignore

diff --git a/linuxrwlocks/.gitignore b/linuxrwlocks/.gitignore
new file mode 100644 (file)
index 0000000..2fdb632
--- /dev/null
+++ b/linuxrwlocks/.gitignore
@@ -0,0 +1 @@
+/linuxrwlocks