X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=spsc-queue%2FMakefile;fp=spsc-queue%2FMakefile;h=33b9d0175b5db949a0fccf374b45d8cd2243e527;hp=64651763df01842145a2e2a5c35452ac37f24e36;hb=77847ecd3fa6a643302770491928787ba143cde1;hpb=595a5a86d894685c1b39ee467599654f8c2a46b5 diff --git a/spsc-queue/Makefile b/spsc-queue/Makefile index 6465176..33b9d01 100644 --- a/spsc-queue/Makefile +++ b/spsc-queue/Makefile @@ -6,7 +6,7 @@ RELACYNAME = spsc-relacy all: $(TESTNAME) $(TESTNAME): $(TESTNAME).cc queue.h eventcount.h - $(CXX) -o $@ $< $(CPPFLAGS) $(LDFLAGS) + $(CXX) -o $@ $< $(CXXFLAGS) $(LDFLAGS) relacy: $(RELACYNAME)