diff options
Diffstat (limited to 'src/third_party/wiredtiger/dist/s_all')
| -rwxr-xr-x | src/third_party/wiredtiger/dist/s_all | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/third_party/wiredtiger/dist/s_all b/src/third_party/wiredtiger/dist/s_all index 8e3f265e79b..46a68864906 100755 --- a/src/third_party/wiredtiger/dist/s_all +++ b/src/third_party/wiredtiger/dist/s_all @@ -88,7 +88,13 @@ COMMANDS=" 2>&1 ./s_win > ${t_pfx}s_win 2>&1 ./s_docs > ${t_pfx}s_docs" -echo "$COMMANDS" | xargs -P 20 -I{} /bin/sh -c {} +# Parallelize if possible. +xp="" +echo date | xargs -P 20 >/dev/null 2>&1 +if test $? -eq 0; then + xp="-P 20" +fi +echo "$COMMANDS" | xargs $xp -I{} /bin/sh -c {} for f in `find . -name ${t_pfx}\*`; do if ! `test -s $f`; then |