waitForJdtIndex at the beginning of waitForBuild

LorenzoBettini · Jan 20, 2025 · 24c10f8 · 24c10f8
1 parent 29ce12d
commit 24c10f8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/org.eclipse.xtext.ui.testing/src/org/eclipse/xtext/ui/testing/util/IResourcesSetupUtil.java b/org.eclipse.xtext.ui.testing/src/org/eclipse/xtext/ui/testing/util/IResourcesSetupUtil.java
@@ -383,7 +383,7 @@ public static void reallyWaitForAutoBuild() {
 	}
 
 	public static void waitForBuild() {
-		waitForBuild(null);
+		waitForBuild(new ConsoleLoggingProgressMonitor("BUILD"));
 	}
 
 	public static boolean isAutobuild(boolean enable) {
@@ -406,6 +406,7 @@ public static boolean setAutobuild(boolean enable) {
 
 	public static void waitForBuild(IProgressMonitor monitor) {
 		try {
+			waitForJdtIndex();
 			ResourcesPlugin.getWorkspace().build(IncrementalProjectBuilder.INCREMENTAL_BUILD, monitor);
 		} catch (CoreException e) {
 			OperationCanceledException operationCanceledException = new OperationCanceledException(e.getMessage());