diff options
| author | Enrico Tassi | 2018-09-12 13:56:07 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2018-09-12 13:56:07 +0200 |
| commit | e3e1f56c38f345bccf984dd6d6d86fa06e423b96 (patch) | |
| tree | b5bfdf03a1981f510d7c8deff566f5132f714de6 /test-suite | |
| parent | 3c7b8a7019424606cac07d50844759e2ee0e9262 (diff) | |
| parent | 81b5103d5afeb6ae200f922a43f39c47525b36a2 (diff) | |
Merge PR #8243: Remove xargs from "make clean" so it won't fail on 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 f5ec80bcfc..080aeff85b 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -127,14 +127,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 |