From 9c6a69b957895d429f1c8d3ae4cebe529ab70433 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 25 Feb 2010 21:19:29 +0000 Subject: [PATCH] -bugfix in the "profile" entry --- helm/software/lambda-delta/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile index 1ea4aa7b9..3d8b6be48 100644 --- a/helm/software/lambda-delta/Makefile +++ b/helm/software/lambda-delta/Makefile @@ -29,8 +29,9 @@ test-si-fast: $(MAIN).opt profile: $(MAIN).opt @echo " HELENA -u -q $(INPUT) (30 TIMES)" - $(H)for T in `seq 30`; do ./$(MAIN).opt -u -q -S 1 $(O) automath/grundlagen.aut >> etc/log.txt; done - $(H)grep "at exit" etc/log.txt | sort | uniq | less + $(H)rm etc/log.txt + $(H)for T in `seq 30`; do ./$(MAIN).opt -u -q -s 0 -S 1 $(O) $(INPUT) >> etc/log.txt; done + $(H)grep "at exit" etc/log.txt | sort | uniq > etc/profile.txt hal: $(MAIN).opt @echo " HELENA -o -x -m $(INPUT)" -- 2.39.2