bug fixes ...

[helm.git] / helm / software / helena / Makefile

diff --git a/helm/software/helena/Makefile b/helm/software/helena/Makefile
index e21fccf1b423242efef3a3afa89955b534a590f3..48f7e4b9644fa4c205f62d18b2e60419868c1294 100644 (file)
--- a/helm/software/helena/Makefile
+++ b/helm/software/helena/Makefile
@@ -17,8 +17,6 @@ TAGS = test-si-fast test-si test2-opt test2-byte test3 test6 \
        export-lp1 export-lp2 export-tj2 export-tj3 \
        matita matitac
 
-include Makefile.common
-
 TIME = `which time` -p -a -o etc/log.txt
 
 NULL = >/dev/null 2>&1 
@@ -179,3 +177,5 @@ matitac: matita/$(MA)
 #      $(H)rm -f etc/log.txt
 #      $(H)for T in `seq 1`; do ./$(MAIN).opt -T 1 -a n -l -m $(PREAMBLE) -o -u $(INPUT) >> etc/log.txt; done
 #      $(H)grep "at exit" etc/log.txt | sort | uniq > etc/profile-new.txt
+
+include Makefile.common