Changeset dfe914 in git

Timestamp:

Sep 25, 2011, 1:46:01 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

93e538c4b38681efb7cb7bfb840f6f5c5ff4002a

Parents:

4c5b46023b26ef3b8e7594a722afc9868ab3ae63

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-09-25 13:46:01+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:13:28+01:00

Message:

CHG: better TC output?

File:

• Tst/regress.cmd (modified) (6 diffs)

Tst/regress.cmd

@@ -535 +535 @@
   local($system_call, $exit_status, $ignore_pattern, $error_cause);
 
-  print "--- $root " unless ($verbosity == 0);
   $total_checks++;
   
@@ -541 +540 @@
   if (! (-r "$root.tst"))
   {
+    print "--- $root " unless ($verbosity == 0);
     print (STDERR "Can not read $root.tst\n");
     testIgnored($test_file, "Can not read $root.tst");
@@ -549 +549 @@
   if (! &MPok($root))
   {
+    print "--- $root " unless ($verbosity == 0);
     print "Warning: $root not tested: needs MP\n";
     testIgnored($test_file, "Warning: $root not tested: needs MP");
@@ -562 +563 @@
       if ($exit_status)
       {
+        print "--- $root " unless ($verbosity == 0);
         print (STDERR "Can not decode $root.res.gz.uu\n");
         testIgnored($test_file, "Can not decode $root.res.gz.uu");
@@ -569 +571 @@
     elsif (! (-r "$root.res") || ( -z "$root.res"))
     {
+      print "--- $root " unless ($verbosity == 0);
       print (STDERR "Can not read $root.res[.gz.uu]\n");
       testIgnored($test_file, "Can not read $root.res[.gz.uu]");
@@ -576 +579 @@
 
   testStarted($test_file);
+  print "--- $root " unless ($verbosity == 0);
   
   my $resfile = "\"$root.new.res\"";