Skip to content
Snippets Groups Projects
Commit dd2cd0ec authored by Dominik Hansen's avatar Dominik Hansen
Browse files

Finding a bug running on jenkins ...(2)

Former-commit-id: 5ca92b7d9cc6a9588c253e07c9a4437ed955055f
parent 3ab7cb7e
No related branches found
No related tags found
No related merge requests found
...@@ -24,6 +24,7 @@ public class TLCRunner { ...@@ -24,6 +24,7 @@ public class TLCRunner {
public static void main(String[] args) { public static void main(String[] args) {
// this method will be executed in a separate JVM // this method will be executed in a separate JVM
System.out.println("Starting TLC...");
String path = args[0]; String path = args[0];
ToolIO.setUserDir(path); ToolIO.setUserDir(path);
String[] parameters = new String[args.length - 1]; String[] parameters = new String[args.length - 1];
...@@ -43,7 +44,7 @@ public class TLCRunner { ...@@ -43,7 +44,7 @@ public class TLCRunner {
} }
String[] args = list.toArray(new String[list.size()]); String[] args = list.toArray(new String[list.size()]);
ProcessHelper helper = new ProcessHelper(); ProcessHelper helper = new ProcessHelper();
System.out.println("Starting TLC...");
Process p = helper.startNewJavaProcess("", TLCRunner.class.getName(), Process p = helper.startNewJavaProcess("", TLCRunner.class.getName(),
args); args);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment