diff options
Diffstat (limited to 'debug/catchsegv.sh')
-rwxr-xr-x | debug/catchsegv.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debug/catchsegv.sh b/debug/catchsegv.sh index 8379c6b8d6..853b108609 100755 --- a/debug/catchsegv.sh +++ b/debug/catchsegv.sh @@ -33,7 +33,8 @@ if test $# -eq 0; then echo 'Usage: catchsegv PROGRAM ARGS...' echo ' --help print this help, then exit' echo ' --version print version number, then exit' - echo "Report bugs using the \`glibcbug' script to <bugs@gnu.org>." + echo "For bug reporting instructions, please see:" + echo "<http://www.gnu.org/software/libc/bugs.html>." exit 0 ;; --v | --ve | --ver | --vers | --versi | --versio | --version) |