X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=cliffc-hashtable%2FMakefile;h=f1e5227a407735ae629a2da47bd69d1b15bc619a;hp=f1feb46cc4d6d34e07b84e63402fdb74291310bc;hb=HEAD;hpb=a757e79cb775f910bae08e1522029639d8a1ea91

diff --git a/cliffc-hashtable/Makefile b/cliffc-hashtable/Makefile
index f1feb46..f1e5227 100644
--- a/cliffc-hashtable/Makefile
+++ b/cliffc-hashtable/Makefile
@@ -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)