]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1276d3c) | patch
do_test.sh no longer prints the compiler options (used to avoid awk-ing out
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Nov 2005 11:32:29 +0000 (11:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Nov 2005 11:32:29 +0000 (11:32 +0000)
commitd496ec90e52ace62d11d79badb3f6673ddd73c3a
tree1f2de311d81bf74574b50a5fba83c6c47f4982a1tree | snapshot
parent1276d3c7b85f4edc049a5d68a6120816fe64c806commit | diff
do_test.sh no longer prints the compiler options (used to avoid awk-ing out
the -noprofile flag)
helm/matita/scripts/do_tests.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.