From ac94d350073aed443070bea5577b5888ed2dc2db Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 27 Nov 2007 16:23:21 +0000 Subject: [PATCH] remove debug fake data --- helm/software/matita/bench_disamberrors | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/software/matita/bench_disamberrors b/helm/software/matita/bench_disamberrors index 8a5f0718f..ae1b592d0 100755 --- a/helm/software/matita/bench_disamberrors +++ b/helm/software/matita/bench_disamberrors @@ -40,7 +40,6 @@ log_outcome () echo -e "$1\t$2\t$3\t$4\t$5" >> "$log" } -sorted_ma_s="datatypes/compare.ma logic/connectives.ma higher_order_defs/relations.ma" for ma in $sorted_ma_s ; do mo=`echo $ma | sed 's/\.ma$/.mo/'` make -C $libdir $mo # ensure deps for $mo have been built -- 2.39.2