diff options
Diffstat (limited to 'debug/catchsegv.sh')
| -rwxr-xr-x | debug/catchsegv.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/catchsegv.sh b/debug/catchsegv.sh index 245c100f56..9b5f9951a6 100755 --- a/debug/catchsegv.sh +++ b/debug/catchsegv.sh @@ -15,7 +15,7 @@ # You should have received a copy of the GNU Lesser General Public # License along with the GNU C Library; if not, see -# <http://www.gnu.org/licenses/>. +# <https://www.gnu.org/licenses/>. if test $# -eq 0; then echo "$0: missing program name" >&2 |