Lines Matching refs:with_override_jdk
1174 with_override_jdk31866 if test "${with_override_jdk+set}" = set; then :31867 withval=$with_override_jdk; { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Option --with-override-jdk is deprecated and will be ignored." >&5