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