changes
[model-checker-benchmarks.git] / cliffc-hashtable / Makefile
index f1feb46..f1e5227 100644 (file)
@@ -1,14 +1,11 @@
 include ../benchmarks.mk
 
-TESTS := table table-normal
+TESTS := table 
 
 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)