Mark node offline if cannot delete workspace

related: adoptium#5358 and infrastructure/issues/9874 Signed-off-by: Lan Xia <[email protected]>
llxia · Sep 19, 2024 · 97f0bf6 · 97f0bf6
1 parent 58273f3
commit 97f0bf6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/buildenv/jenkins/openjdk_tests b/buildenv/jenkins/openjdk_tests
@@ -499,6 +499,7 @@ def runTest() {
                     errorList.add(".*java.io.IOException: Cannot run program \"nohup\".*");
                     errorList.add(".*unzip: command not found.*");
                     errorList.add(".*ant: command not found.*");
+                    errorList.add(".*ERROR: Cannot delete workspace.*");
 
                     // nightly/weekly builds should not have git clone issue
                     if (!env.JOB_NAME.contains("Grinder") && !env.JOB_NAME.contains("_Personal")) {