Lines Matching refs:bugurl
1713 --with-bugurl=URL Direct users to URL to report a bug
25668 # Check whether --with-bugurl was given.
25672 no) BUGURL=
25674 *) BUGURL="$withval"
25678 BUGURL="https://www.gnu.org/software/gdb/bugs/"
25682 case ${BUGURL} in
25688 REPORT_BUGS_TO="<$BUGURL>"
25689 REPORT_BUGS_TEXI=@uref{`echo "$BUGURL" | sed 's/@/@@/g'`}