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

/openjdk10/common/autoconf/
H A Dgenerated-configure.sh1084 ORIGINAL_PATH
5207 ORIGINAL_PATH="$PATH"
16469 # We might need to rewrite ORIGINAL_PATH, if it includes "#", to quote them
16470 # for make. We couldn't do this when we retrieved ORIGINAL_PATH, since SED
16472 REWRITTEN_PATH=`$ECHO "$ORIGINAL_PATH" | $SED -e 's/#/\\\\#/g'`
16473 if test "x$REWRITTEN_PATH" != "x$ORIGINAL_PATH"; then
16474 ORIGINAL_PATH="$REWRITTEN_PATH"
16475 { $as_echo "$as_me:${as_lineno-$LINENO}: Rewriting ORIGINAL_PATH to $REWRITTEN_PATH" >&5
16476 $as_echo "$as_me: Rewriting ORIGINAL_PATH to $REWRITTEN_PATH" >&6;}
[all...]

Completed in 154 milliseconds