Changeset 2ae411d in git

Timestamp:

Dec 14, 2000, 9:29:07 AM (22 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')

Children:

fab637db590ce271fa2bc6e34fdc339c16105a21

Parents:

cf8dcc3a44f401ab4c54ac417f5d44e39e834353

Message:

* clean up


git-svn-id: file:///usr/local/Singular/svn/trunk@4890 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

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

Tst/regress.cmd

@@ -2 +2 @@
 
 #################################################################
-# $Id: regress.cmd,v 1.35 2000-12-05 14:26:27 obachman Exp $
+# $Id: regress.cmd,v 1.36 2000-12-14 08:29:07 obachman Exp $
 # FILE:    regress.cmd
 # PURPOSE: Script which runs regress test of Singular
@@ -198 +198 @@
 
   # doo the diff call
-  if ($verbosity > 0 && ! $WINNT)
-  {
-    $exit_status = &mysystem("$diff -w -b $root.res.cleaned $root.new.res.cleaned | $tee $root.diff");
-  }
-  else
-  {
-    $exit_status = &mysystem("$diff -w -b $root.res.cleaned $root.new.res.cleaned > $root.diff 2>&1");
-  }
+  $exit_status = &mysystem("$diff -w -b $root.res.cleaned $root.new.res.cleaned > $root.diff 2>&1");
 
   # clean up time
@@ -466 +459 @@
         if ($exit_status)
         {
+          unless ($verbosity == 0)
+          {
+            print "\n";
+            mysystem("$cat $root.diff");
+          }
           $error_cause = "Differences in res files";
         }
@@ -496 +494 @@
   if ($exit_status)
   {
-    print (STDERR "!!! $root : $error_cause\n");
+    if (! -e "$root.diff")
+    {
+      open (DIFF_FILE, ">$root.diff");
+      print DIFF_FILE "!!! $root : $error_cause\n";
+      print "\n";
+    }
+    print STDERR "!!! $root : $error_cause\n";
   }
   else
@@ -531 +535 @@
   }
   # und tschuess
-  unless ($verbosity == 0)
+  unless ($verbosity == 0 || $exit_status)
   {
     if ($verbosity > 1 || $timings_only)
@@ -543 +547 @@
     print " \n";
   }
-  $total_checks_pass++ unless $exit_code;
+  $total_checks_pass++ unless $exit_status;
   return ($exit_status);
 }