mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
fix: after deletion of files that previously could not be compiled (had errors), those paths were not recognized as deleted and could be scheduled for recompilation
This commit is contained in:
+12
@@ -0,0 +1,12 @@
|
||||
Cleaning output files:
|
||||
out/production/DeleteClassAfterCompileErrors/packageA/Server.class
|
||||
End of files
|
||||
Compiling files:
|
||||
src/packageA/Server.java
|
||||
End of files
|
||||
Cleaning output files:
|
||||
out/production/DeleteClassAfterCompileErrors/packageA/Client.class
|
||||
End of files
|
||||
Compiling files:
|
||||
src/packageA/Client.java
|
||||
End of files
|
||||
+9
@@ -0,0 +1,9 @@
|
||||
package packageA;
|
||||
|
||||
public class Client {
|
||||
|
||||
public void method(Server server) {
|
||||
server.method();
|
||||
}
|
||||
|
||||
}
|
||||
+7
@@ -0,0 +1,7 @@
|
||||
package packageA;
|
||||
|
||||
public class Server {
|
||||
public void method() {
|
||||
System.out.println("Server.method");
|
||||
}
|
||||
}
|
||||
+7
@@ -0,0 +1,7 @@
|
||||
package packageA;
|
||||
|
||||
public class Server {
|
||||
public void method() {
|
||||
System.out.println("Server.method"); <some-error!>
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user