From 45a26f2d04bc86b596748187091668bbdb5f810d Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 1 Jul 2005 17:05:23 +0000 Subject: [PATCH] matitaclean is necessary! However, we need a fast ls method for this. Waiting for Zack's new getter... --- helm/matita/library/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile index 553cde46d..69e33b3c7 100644 --- a/helm/matita/library/Makefile +++ b/helm/matita/library/Makefile @@ -6,8 +6,8 @@ SRC=\ nat.ma \ Z.ma -MATITAC=../scripts/do_tests.sh ../matitac echo /dev/null -MATITACOPT=../scripts/do_tests.sh ../matitac.opt echo /dev/null +MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null +MATITACOPT=../scripts/do_tests.sh ../matitac.opt ../matitaclean.opt /dev/null VERBOSEMATITAC=../matitac VERBOSEMATITACOPT=../matitac.opt -- 2.39.2