add treiber stack

[model-checker-benchmarks.git] / cliffc-hashtable / Makefile

diff --git a/cliffc-hashtable/Makefile b/cliffc-hashtable/Makefile
index f1feb46cc4d6d34e07b84e63402fdb74291310bc..f1e5227a407735ae629a2da47bd69d1b15bc619a 100644 (file)
--- a/cliffc-hashtable/Makefile
+++ b/cliffc-hashtable/Makefile
@@ -1,14 +1,11 @@
 include ../benchmarks.mk
 
 include ../benchmarks.mk
 

-TESTS := table table-normal
+TESTS := table 

 
 all: $(TESTS)
 
 table: main.cc
        $(CXX) -o $@ $^ $(SPEC_OBJ) $(CXXFLAGS) -std=c++0x $(LDFLAGS)
 
 
 all: $(TESTS)
 
 table: main.cc
        $(CXX) -o $@ $^ $(SPEC_OBJ) $(CXXFLAGS) -std=c++0x $(LDFLAGS)
 

-table-normal: main.cc
-       $(CXX) -o $@ $^ -std=c++0x -DNORMAL
-

 clean:
        rm -f *.o *.d $(TESTS)
 clean:
        rm -f *.o *.d $(TESTS)