diff options
Diffstat (limited to 'scripts/check-installed-headers.sh')
| -rw-r--r-- | scripts/check-installed-headers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check-installed-headers.sh b/scripts/check-installed-headers.sh index ef6ed94a2e..a204ee2e70 100644 --- a/scripts/check-installed-headers.sh +++ b/scripts/check-installed-headers.sh @@ -14,7 +14,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/>. # For each installed header, confirm that it's possible to compile a # file that includes that header and does nothing else, in several |