X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fuse_case%2Fstats%2FMakefile;h=6858eb6373082f3041ef1568526507722462a3cd;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=1eb180dce9d11fbdf78cc167fa749363c932773f;hpb=a84be8db90f3f27148074c22d80b21a2dcf58576;p=helm.git

diff --git a/helm/papers/use_case/stats/Makefile b/helm/papers/use_case/stats/Makefile
index 1eb180dce..6858eb637 100644
--- a/helm/papers/use_case/stats/Makefile
+++ b/helm/papers/use_case/stats/Makefile
@@ -51,11 +51,11 @@ mkdiff: mkdiff.cc
 
 parsing_times_%_candidates.txt: parsing_times.sh stats_candidates.txt
 	@echo "Collecting parsing times in CICXML_NOBLANKS_NODTD for $(@:parsing_times_%_candidates.txt=%)..."
-	@./$< CICXML_NOBLANKS_NODTD parsing_time_$(@:parsing_times_%_candidates.txt=%).sh stats_candidates.txt | $(SORT_SIZE) >$@
+	@./$< CICXML_NOBLANKS_NODTD parsing_time_$(@:parsing_times_%_candidates.txt=%).sh stats_candidates.txt | $(SORT_NODES) >$@
 
 parsing_times_%_candidates_c1.txt: parsing_times.sh stats_candidates_c1.txt
 	@echo "Collecting parsing times in CONTENTNB for $(@:parsing_times_%_candidates_c1.txt=%)..."
-	@./$< CONTENTNB parsing_time_$(@:parsing_times_%_candidates_c1.txt=%).sh stats_candidates_c1.txt | $(SORT_SIZE) >$@
+	@./$< CONTENTNB parsing_time_$(@:parsing_times_%_candidates_c1.txt=%).sh stats_candidates_c1.txt | $(SORT_NODES) >$@
 
 #parsing_times_%_candidates: parsing_times_%_candidates.sh
 #	sh $< >$@
@@ -111,5 +111,6 @@ validating_times: parsing_validating_times_candidates.ps validating_times_candid
 clean:
 	rm -f stats_candidates*.{xml,html,txt} \
 	  $(PARSING_TIMES_TARGETS_TXT) \
+	  $(PARSING_VALIDATING_TIMES_TARGETS_TXT) \
 	  $(VALIDATING_TIMES_TARGETS_TXT)