Changeset 13358

Timestamp:

2012-10-12T21:55:58+02:00 (12 years ago)

Author:

adrpo

Message:

• directory has changed.

File:

• trunk/testsuite/partest/runtests.pl (modified) (1 diff)

trunk/testsuite/partest/runtests.pl

@@ -96 +96 @@
   my $dir = shift;
 
-  return if $dir eq "./java"; # Skip the java tests, since they don't work.
+  return if $dir eq "./openmodelica/java"; # Skip the java tests, since they don't work.
   return if($fast == 1 and $dir =~ m"^./libraries"); # Skip libraries if -f is given.
   return if($fast == 1 and $dir eq "./bootstrapping"); # Skip libraries if -f is given.