common/autoconf/generated-configure.sh

1135 with_devkit
17140 if test "${with_devkit+set}" = set; then :
17141   withval=$with_devkit;
17145   if test "x$with_devkit" != x; then
17150   path="$with_devkit"
17162     { $as_echo "$as_me:${as_lineno-$LINENO}: The path of with_devkit, which resolves as \"$path\", is invalid." >&5
17163 $as_echo "$as_me: The path of with_devkit, which resolves as \"$path\", is invalid." >&6;}
17164     as_fn_error $? "Cannot locate the the path of with_devkit" "$LINENO" 5
17202     with_devkit="$new_path"
17203     { $as_echo "$as_me:${as_lineno-$LINENO}: Rewriting with_devkit to \"$new_path\"" >&5
17204 $as_echo "$as_me: Rewriting with_devkit to \"$new_path\"" >&6;}
17209   path="$with_devkit"
17240     with_devkit="$new_path"
17241     { $as_echo "$as_me:${as_lineno-$LINENO}: Rewriting with_devkit to \"$new_path\"" >&5
17242 $as_echo "$as_me: Rewriting with_devkit to \"$new_path\"" >&6;}
17250       path="$with_devkit"
17253         { $as_echo "$as_me:${as_lineno-$LINENO}: The path of with_devkit, which resolves as \"$path\", is invalid." >&5
17254 $as_echo "$as_me: The path of with_devkit, which resolves as \"$path\", is invalid." >&6;}
17261         as_fn_error $? "The path of with_devkit, which resolves as \"$path\", is not found." "$LINENO" 5
17265         with_devkit="`cd "$path"; $THEPWDCMD -L`"
17269         with_devkit="`cd "$dir"; $THEPWDCMD -L`/$base"
17274         DEVKIT_ROOT="$with_devkit"