--- a/doc/EXAMPLE/TEST/Makefile
+++ b/doc/EXAMPLE/TEST/Makefile
@@ -74,11 +74,6 @@
 	$(ATSCC) -O2 -o $@ $< && ./prelude_list_vt
 cleanall:: ; $(RMF) prelude_list_vt
 
-checkall:: prelude_dlist_vt
-prelude_dlist_vt: prelude_dlist_vt.dats
-	$(ATSCC) -O2 -o $@ $< && ./prelude_dlist_vt
-cleanall:: ; $(RMF) prelude_dlist_vt
-
 checkall:: prelude_matrix
 prelude_matrix: prelude_matrix.dats
 	$(ATSCC) -O2 -o $@ $< && ./prelude_matrix
@@ -358,13 +353,6 @@
 
 ######
 
-checkall:: libats_lockref_spin
-libats_lockref_spin: libats_lockref_spin.dats
-	$(ATSCC) -D_ATS_MULTITHREAD -O2 -o $@ $< -lpthread -lats_mt && ./libats_lockref_spin
-cleanall:: ; $(RMF) libats_lockref_spin
-
-######
-
 checkall:: libats_rarray
 libats_rarray: libats_rarray.dats
 	$(ATSCC) -O2 -o $@ $< && ./libats_rarray
