travis-ci.oilshell.org / github-jobs / 7222 /

cpp-small.wwz / _tmp / src-tree-www / tools / xargs