projects / model-checker-benchmarks.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
fix commit that mistakenly happened
[model-checker-benchmarks.git] / linuxrwlocks / Makefile
diff --git a/linuxrwlocks/Makefile b/linuxrwlocks/Makefile
index d66ada32861570347b3c6a9d40c2cdd99190a36c..90dafcfb30dbb7656c5cc97744d68ba7fdf1482f 100644 (file)
--- a/linuxrwlocks/Makefile
+++ b/linuxrwlocks/Makefile
@@ -5,7 +5,7 @@ TESTNAME = linuxrwlocks
 all: $(TESTNAME)
 
 $(TESTNAME): $(TESTNAME).c
-       $(CC) -o $@ $< $(CPPFLAGS) $(LDFLAGS)
+       $(CC) -o $@ $< $(CFLAGS) $(LDFLAGS)
 
 clean:
        rm -f $(TESTNAME) *.o
C++11 memory model checker benchmarks