From 81b5103d5afeb6ae200f922a43f39c47525b36a2 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sat, 25 Aug 2018 17:00:55 -0700
Subject: Replace use of xargs in "make clean", which tends to fail on
 Windows/Cygwin.

---
 test-suite/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'test-suite')

diff --git a/test-suite/Makefile b/test-suite/Makefile
index b8aac8b6f8..3d1ce1b3c6 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -126,14 +126,14 @@ clean:
 	$(SHOW) 'RM        <**/*.stamp> <**/*.vo> <**/*.vio> <**/*.log> <**/*.glob>'
 	$(HIDE)find . \( \
 	  -name '*.stamp' -o -name '*.vo' -o -name '*.vio' -o -name '*.log' -o -name '*.glob' \
-	  \) -print0 | xargs -0 rm -f
+	  \) -exec rm -f {} +
 	$(SHOW) 'RM        <**/*.cmx> <**/*.cmi> <**/*.o> <**/*.test>'
 	$(HIDE)find unit-tests \( \
 	  -name '*.cmx' -o -name '*.cmi' -o -name '*.o' -o -name '*.test' \
-	  \) -print0 | xargs -0 rm -f
+	  \) -exec rm -f {} +
 distclean: clean
 	$(SHOW) 'RM        <**/*.aux>'
-	$(HIDE)find . -name '*.aux' -print0 | xargs -0 rm -f
+	$(HIDE)find . -name '*.aux' -exec rm -f {} +
 
 #######################################################################
 # Per-subsystem targets
-- 
cgit v1.2.3