From a5d6ce3589513be7c3474e3175fb0b2b37eaf63b Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 8 Mar 2022 11:11:05 +0100
Subject: [PATCH] [Makefile] avoids too long lines in MACOS rm commands

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 148a270c64c..92f9115e4ed 100644
--- a/Makefile
+++ b/Makefile
@@ -210,10 +210,10 @@ WTESTS=dune exec --root ptests -- frama-c-wtests
 wtests-help:
 	$(WTESTS) --help
 
-# Removes all dune files generated for testing
+# Removes all dune files generated for testing: xargs -n 10 avoids a too long line
 .PHONY: purge-tests
 purge-tests:
-	find $(PURGED_PTEST_DIRS) -name dune | grep -e "/oracle.*/dune\|/result.*/dune" | xargs --no-run-if-empty rm
+	find $(PURGED_PTEST_DIRS) -name dune | grep -e "/oracle.*/dune\|/result.*/dune" | xargs --no-run-if-empty -n 10 rm
 
 # Force the full cleaning of the testing environment
 .PHONY: clean-tests
-- 
GitLab