From a9d41f5770a068c16f4c7a59826febaed9f36665 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 2 Sep 2019 13:04:48 +0200
Subject: Makefile: rm -rf instead of rm

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 8bed3fb..abdefbc 100644
--- a/Makefile
+++ b/Makefile
@@ -65,7 +65,7 @@ install-cb:
 clean:
 	ls -A | \
 		grep "^\($(shell sed 's|\.|\\.|; s|\*|.*|; s|$$|\\|' .gitignore | tr '\n' '\|')\)\$$" | \
-		xargs -r rm
+		xargs -r rm -rf --one-file-system
 
 dist: clean
 	git status --porcelain 2> /dev/null | grep -q "\S" && (git add .; git commit -m"neue Version: $(VERSION)") || true
-- 
cgit v1.2.3-54-g00ecf