From 7dcc01273a18afc2921c567574c76b411c1b63d9 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Tue, 18 Sep 2018 09:56:53 -0700
Subject: Use "rm -rf" so .coq-native directories are removed.  Fixes #8496.

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

diff --git a/Makefile b/Makefile
index d367424da6..2e4f46272e 100644
--- a/Makefile
+++ b/Makefile
@@ -268,7 +268,7 @@ distclean: clean cleanconfig cacheclean timingclean
 voclean:
 	find theories plugins test-suite \( -name '*.vo' -o -name '*.glob' -o -name "*.cmxs" \
 	-o -name "*.native" -o -name "*.cmx" -o -name "*.cmi" -o -name "*.o" \) -exec rm -f {} +
-	find theories plugins test-suite -name .coq-native -empty -exec rm -f {} +
+	find theories plugins test-suite -name .coq-native -empty -exec rm -rf {} +
 
 timingclean:
 	find theories plugins test-suite \( -name '*.v.timing' -o -name '*.v.before-timing' \
-- 
cgit v1.2.3