Searched refs:tool_specified (Results 1 - 1 of 1) sorted by relevance

/openjdk10/common/autoconf/
H A Dgenerated-configure.sh5351 tool_specified="$BASENAME"
5352 tool_basename="${tool_specified##*/}"
5353 if test "x$tool_basename" = "x$tool_specified"; then
5402 { $as_echo "$as_me:${as_lineno-$LINENO}: Will use user supplied tool BASENAME=$tool_specified" >&5
5403 $as_echo "$as_me: Will use user supplied tool BASENAME=$tool_specified" >&6;}
5406 if test ! -x "$tool_specified"; then
5409 as_fn_error $? "User supplied tool BASENAME=$tool_specified does not exist or is not executable" "$LINENO" 5
5411 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $tool_specified" >&5
5412 $as_echo "$tool_specified" >&6; }
5555 tool_specified
[all...]

Completed in 106 milliseconds