equal
deleted
inserted
replaced
443 AC_DEFUN_ONCE([BASIC_SETUP_PATHS], |
443 AC_DEFUN_ONCE([BASIC_SETUP_PATHS], |
444 [ |
444 [ |
445 # Save the current directory this script was started from |
445 # Save the current directory this script was started from |
446 CURDIR="$PWD" |
446 CURDIR="$PWD" |
447 |
447 |
|
448 # We might need to rewrite ORIGINAL_PATH, if it includes "#", to quote them |
|
449 # for make. We couldn't do this when we retrieved ORIGINAL_PATH, since SED |
|
450 # was not available at that time. |
|
451 REWRITTEN_PATH=`$ECHO "$ORIGINAL_PATH" | $SED -e 's/#/\\\\#/g'` |
|
452 if test "x$REWRITTEN_PATH" != "x$ORIGINAL_PATH"; then |
|
453 ORIGINAL_PATH="$REWRITTEN_PATH" |
|
454 AC_MSG_NOTICE([Rewriting ORIGINAL_PATH to $REWRITTEN_PATH]) |
|
455 fi |
|
456 |
448 if test "x$OPENJDK_TARGET_OS" = "xwindows"; then |
457 if test "x$OPENJDK_TARGET_OS" = "xwindows"; then |
449 PATH_SEP=";" |
458 PATH_SEP=";" |
450 BASIC_CHECK_PATHS_WINDOWS |
459 BASIC_CHECK_PATHS_WINDOWS |
451 else |
460 else |
452 PATH_SEP=":" |
461 PATH_SEP=":" |