Jenkins: alternative deletion

WardBrian · WardBrian · commit 233a19444aff · 2024-10-03T12:51:04.000-04:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -597,7 +597,7 @@ pipeline {
                             }
                         }
                     }
-                    post { always { runShell("rm -rf ${env.WORKSPACE}/compile-expressions/*") }}
+                    post { always { runShell("rm -rf ${env.WORKSPACE}/compile-expressions/") }}
                 }
             }
         }

Original file line number	Diff line number	Diff line change
`@@ -597,7 +597,7 @@ pipeline {`
`597`	`597`	`}`
`598`	`598`	`}`
`599`	`599`	`}`
`600`		`- post { always { runShell("rm -rf ${env.WORKSPACE}/compile-expressions/*") }}`
	`600`	`+ post { always { runShell("rm -rf ${env.WORKSPACE}/compile-expressions/") }}`
`601`	`601`	`}`
`602`	`602`	`}`
`603`	`603`	`}`