]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: fa57dfe)
Dama is now in the night benchmarks.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Oct 2006 12:10:00 +0000 (12:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Oct 2006 12:10:00 +0000 (12:10 +0000)
matita/Makefile patch | blob | history

diff --git a/matita/Makefile b/matita/Makefile
index 73e9fc0148da18b0d4c0fc878ac9491f8cda3bd9..ab03a892f002094e57d0169af7a0dfe932ef08a9 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -203,6 +203,7 @@ distclean: clean
 TEST_DIRS =                            \
        library                         \
        tests                           \
+       dama                            \
        contribs/CoRN                   \
        contribs/RELATIONAL             \
        contribs/LAMBDA-TYPES           \
Unnamed repository; edit this file 'description' to name the repository.