diff options
| author | Jim Fehrle | 2018-08-25 17:00:55 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2018-08-30 15:45:59 -0700 |
| commit | 81b5103d5afeb6ae200f922a43f39c47525b36a2 (patch) | |
| tree | 4b870584b7c4753957abda2b2232256f2def577b /test-suite | |
| parent | bf1446294dba45d3ea9b7bb39d2fc96617848c03 (diff) | |
Replace use of xargs in "make clean", which tends to fail on Windows/Cygwin.
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
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 |