diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 23 |
1 files changed, 0 insertions, 23 deletions
@@ -4021,29 +4021,6 @@ $as_echo "$as_me: error: Please specify the location of xargs with the option '- -{ $as_echo "$as_me:$LINENO: checking whether $XARGS -r works" >&5 -$as_echo_n "checking whether $XARGS -r works... " >&6; } -if echo | $XARGS -r echo >/dev/null 2>&1; then - { $as_echo "$as_me:$LINENO: result: yes" >&5 -$as_echo "yes" >&6; } -else - { $as_echo "$as_me:$LINENO: result: no" >&5 -$as_echo "no" >&6; } - { { $as_echo "$as_me:$LINENO: error: -Sorry, you have a version of xargs which doesn't understand -r. -$PACKAGE_NAME needs it. If you have access to a version of xargs which -does understand -r, you can supply its path with the -'--with-xargs=' option. -" >&5 -$as_echo "$as_me: error: -Sorry, you have a version of xargs which doesn't understand -r. -$PACKAGE_NAME needs it. If you have access to a version of xargs which -does understand -r, you can supply its path with the -'--with-xargs=' option. -" >&2;} - { (exit 1); exit 1; }; } -fi - { $as_echo "$as_me:$LINENO: checking whether $XARGS -0 works" >&5 $as_echo_n "checking whether $XARGS -0 works... " >&6; } if echo | $XARGS -0 echo >/dev/null 2>&1; then |