diff options
| -rw-r--r-- | test/570-checker-osr/src/Main.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/570-checker-osr/src/Main.java b/test/570-checker-osr/src/Main.java index f22a0c102f..ba839bfa48 100644 --- a/test/570-checker-osr/src/Main.java +++ b/test/570-checker-osr/src/Main.java @@ -24,7 +24,7 @@ public class Main { }; testThread.start(); try { - testThread.join(20 * 1000); // 20s timeout. + testThread.join(60 * 1000); // 60s timeout. } catch (InterruptedException ie) { System.out.println("Interrupted."); System.exit(1); |