Makefiles: use appropriate preprocessor vs. compiler flags
[model-checker-benchmarks.git] / mpmc-queue / .gitignore
index f4a7135..4b20d5b 100644 (file)
@@ -4,3 +4,5 @@
 /mpmc-queue-noinit
 /mpmc-1r2w-noinit
 /mpmc-2r1w-noinit
+/mpmc-queue-rdwr
+/mpmc-rdwr-noinit