Lines Matching refs:bugurl
1714 --with-bugurl=URL Direct users to URL to report a bug
25728 # Check whether --with-bugurl was given.
25732 no) BUGURL=
25734 *) BUGURL="$withval"
25738 BUGURL="https://www.gnu.org/software/gdb/bugs/"
25742 case ${BUGURL} in
25748 REPORT_BUGS_TO="<$BUGURL>"
25749 REPORT_BUGS_TEXI=@uref{`echo "$BUGURL" | sed 's/@/@@/g'`}