equal
deleted
inserted
replaced
54 writeFile("src/p/X.java", body); |
54 writeFile("src/p/X.java", body); |
55 |
55 |
56 new File("classes").mkdirs(); |
56 new File("classes").mkdirs(); |
57 |
57 |
58 String server = "--server:portfile=testserver,background=false"; |
58 String server = "--server:portfile=testserver,background=false"; |
59 int rc1 = compile(server, "-d", "classes", "-Werror", "src"); |
59 int rc1 = compile(server, |
|
60 "-d", "classes", |
|
61 "--state-dir=classes", |
|
62 "-Werror", |
|
63 "src"); |
60 if (rc1 == 0) |
64 if (rc1 == 0) |
61 error("compilation succeeded unexpectedly"); |
65 error("compilation succeeded unexpectedly"); |
62 |
66 |
63 int rc2 = compile(server, "-d", "classes", "-Werror", "-XDignore.symbol.file=true", "src"); |
67 int rc2 = compile(server, |
|
68 "-d", "classes", |
|
69 "--state-dir=classes", |
|
70 "-Werror", |
|
71 "-XDignore.symbol.file=true", |
|
72 "src"); |
64 if (rc2 != 0) |
73 if (rc2 != 0) |
65 error("compilation failed unexpectedly: rc=" + rc2); |
74 error("compilation failed unexpectedly: rc=" + rc2); |
66 |
75 |
67 if (errors > 0) |
76 if (errors > 0) |
68 throw new Exception(errors + " errors occurred"); |
77 throw new Exception(errors + " errors occurred"); |