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 /kernel | |
| parent | 3c7b8a7019424606cac07d50844759e2ee0e9262 (diff) | |
| parent | 81b5103d5afeb6ae200f922a43f39c47525b36a2 (diff) | |
Merge PR #8243: Remove xargs from "make clean" so it won't fail on Cygwin
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions