Changeset bff513 in git

Timestamp:

May 13, 2014, 11:06:58 AM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

6368d110ccecd760ff94834c342e22196393a0b3

Parents:

fc1211afdba6f8ccb26fa000de50baaa77c11d98

Message:

removed MP tests

File:

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

Tst/regress.cmd

@@ -386 +386 @@
 }
 
-sub Set_withMP
-{
-  if (! $withMP)
-  {
-    $withMP = "no";
-    open(MP_TEST, ">MPTest");
-    print(MP_TEST "system(\"with\", \"MP\"); \$");
-    close(MP_TEST);
-    mysystem("$singular -qt MPTest > withMPtest");
-    if (open(MP_TEST, "<withMPtest"))
-    {
-      $_ = <MP_TEST>;
-      $withMP = "yes" if (/^1/);
-      close(MP_TEST);
-    }
-    mysystem("$rm -f withMPtest MPTest");
-  }
-}
-
-
-sub MPok
-{
-  local($root) = $_[0];
-
-  if (! open(TST_FILE, "<$root.tst"))
-  {
-    print (STDERR "Can not open $root.tst for reading\n");
-    return (0);
-  }
-  while (<TST_FILE>)
-  {
-    if (/\"MP.+:.*\"/)
-    {
-      &Set_withMP;
-      return (0) if ($withMP eq "no");
-    }
-  }
-  return (1);
-}
-
 sub Diff
 {
@@ -636 +596 @@
     $test_files{$test_file} = 1;
     return (1);
-  }
-
-  # ignore MP stuff, if this singular does not have MP
-  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");
-    $test_files{$test_file} = 0;
-    return (0);
   }