diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2012-11-09 22:13:45 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2012-11-09 22:13:45 +0000 |
| commit | 8b748aed2a9ab4b964faa5722f7a182a060e475c (patch) | |
| tree | 61bc3fd494c9230f44c3c84a4ac51a32711223ed /debug/catchsegv.sh | |
| parent | 92e4b6a92716f8b2457376291171a6330d072b0d (diff) | |
| download | glibc-8b748aed2a9ab4b964faa5722f7a182a060e475c.tar.gz glibc-8b748aed2a9ab4b964faa5722f7a182a060e475c.tar.xz glibc-8b748aed2a9ab4b964faa5722f7a182a060e475c.zip | |
Support --with-pkgversion and --with-bugurl.
Diffstat (limited to 'debug/catchsegv.sh')
| -rwxr-xr-x | debug/catchsegv.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/debug/catchsegv.sh b/debug/catchsegv.sh index 9bbcfc0f87..0ff5a8a047 100755 --- a/debug/catchsegv.sh +++ b/debug/catchsegv.sh @@ -33,12 +33,14 @@ 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 "For bug reporting instructions, please see:" - echo "<http://www.gnu.org/software/libc/bugs.html>." + echo 'For bug reporting instructions, please see:' + cat <<\EOF +@REPORT_BUGS_TO@. +EOF exit 0 ;; --v | --ve | --ver | --vers | --versi | --versio | --version) - echo 'catchsegv (GNU libc) @VERSION@' + echo 'catchsegv @PKGVERSION@@VERSION@' echo 'Copyright (C) 2012 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. |