X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=mpmc-queue%2Fmpmc-queue.cc;fp=mpmc-queue%2Fmpmc-queue.cc;h=baca598bfa49b39e70134672f12e67b9135a95f5;hb=925ffb744530b85605e602147623d45ade06dd4d;hp=53bc6134ea028c4e9e6d3addcd1d8685922eb3d1;hpb=2ff5de3fa8cd54945389491bd32a414a1b0e3a99;p=model-checker-benchmarks.git

diff --git a/mpmc-queue/mpmc-queue.cc b/mpmc-queue/mpmc-queue.cc
index 53bc613..baca598 100644
--- a/mpmc-queue/mpmc-queue.cc
+++ b/mpmc-queue/mpmc-queue.cc
@@ -91,9 +91,12 @@ int user_main(int argc, char **argv)
 	//process_params(argc, argv);
 	printf("%d reader(s), %d writer(s)\n", readers, writers);
 
+#ifndef CONFIG_MPMC_NO_INITIAL_ELEMENT
+	printf("Adding initial element\n");
 	int32_t *bin = queue.write_prepare();
 	store_32(bin, 17);
 	queue.write_publish();
+#endif
 
 	printf("Start threads\n");