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

/openjdk10/common/autoconf/
H A Dgenerated-configure.sh5352 tool_basename="${tool_specified##*/}"
5353 if test "x$tool_basename" = "x$tool_specified"; then
5355 { $as_echo "$as_me:${as_lineno-$LINENO}: Will search for user supplied tool BASENAME=$tool_basename" >&5
5356 $as_echo "$as_me: Will search for user supplied tool BASENAME=$tool_basename" >&6;}
5357 # Extract the first word of "$tool_basename", so it can be a program name with args.
5358 set dummy $tool_basename; ac_word=$2
5398 as_fn_error $? "User supplied tool $tool_basename could not be found" "$LINENO" 5
5556 tool_basename="${tool_specified##*/}"
5557 if test "x$tool_basename" = "x$tool_specified"; then
5559 { $as_echo "$as_me:${as_lineno-$LINENO}: Will search for user supplied tool BASH=$tool_basename" >
[all...]

Completed in 57 milliseconds