mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-02-13 05:09:33 +08:00
libstdc++: Move Valgrind references to https
libstdc++-v3: 2020-12-27 Gerald Pfeifer <gerald@pfeifer.com> * doc/xml/manual/debug.xml: Move Valgrind references to https. * doc/html/manual/debug.html: Regenerate.
This commit is contained in:
parent
521bc8e1b0
commit
0e283e2c9f
@ -167,9 +167,9 @@
|
||||
</p><p>
|
||||
The approach described above is known to work with the following race
|
||||
detection tools:
|
||||
<a class="link" href="http://valgrind.org/docs/manual/drd-manual.html" target="_top">
|
||||
<a class="link" href="https://valgrind.org/docs/manual/drd-manual.html" target="_top">
|
||||
DRD</a>,
|
||||
<a class="link" href="http://valgrind.org/docs/manual/hg-manual.html" target="_top">
|
||||
<a class="link" href="https://valgrind.org/docs/manual/hg-manual.html" target="_top">
|
||||
Helgrind</a>, and
|
||||
<a class="link" href="https://github.com/google/sanitizers" target="_top">
|
||||
ThreadSanitizer</a> (this refers to ThreadSanitizer v1, not the
|
||||
|
@ -245,10 +245,10 @@
|
||||
The approach described above is known to work with the following race
|
||||
detection tools:
|
||||
<link xmlns:xlink="http://www.w3.org/1999/xlink"
|
||||
xlink:href="http://valgrind.org/docs/manual/drd-manual.html">
|
||||
xlink:href="https://valgrind.org/docs/manual/drd-manual.html">
|
||||
DRD</link>,
|
||||
<link xmlns:xlink="http://www.w3.org/1999/xlink"
|
||||
xlink:href="http://valgrind.org/docs/manual/hg-manual.html">
|
||||
xlink:href="https://valgrind.org/docs/manual/hg-manual.html">
|
||||
Helgrind</link>, and
|
||||
<link xmlns:xlink="http://www.w3.org/1999/xlink"
|
||||
xlink:href="https://github.com/google/sanitizers">
|
||||
|
Loading…
Reference in New Issue
Block a user