From 1ff307fc8b6f169fef74e15a00f28df1a9d53ec7 Mon Sep 17 00:00:00 2001 From: CyberLeo Date: Sun, 8 May 2011 06:50:21 -0500 Subject: [PATCH] Makefile: if rm fails, try removing schg from worktree and trying again --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b56e5b3..64759af 100644 --- a/Makefile +++ b/Makefile @@ -86,4 +86,4 @@ $(worktree)/root: $(srctree)/root # Scrub everything clean clean: $(checkroot) - rm -Rf $(worktree) + sh -c 'if ! rm -Rf $(worktree); then chflags -R noschg $(worktree); rm -Rf $(worktree); fi' -- 2.42.0