diff options
author | courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-06-04 10:44:07 +0000 |
---|---|---|
committer | courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2002-06-04 10:44:07 +0000 |
commit | f2d6c91726cefdc9860268e3e6a86a9acb50c2f6 (patch) | |
tree | fc7857b3d75af5fe12463b01bc57676e6e09cdc8 /Makefile | |
parent | c71055b394f3f93c11cc3923e5878e45203dc881 (diff) |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2752 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 9 |
1 files changed, 3 insertions, 6 deletions
@@ -378,12 +378,9 @@ clean:: # tests ########################################################################### -check.log: world - cd test-suite; ./check -$(BEST) > check.log - -check:: check.log - cat check.log - grep -F 'Error!' check.log +check:: world + cd test-suite; ./check -$(BEST) | tee check.log + grep -F 'Error!' test-suite/check.log ########################################################################### # theories and states |