From aa1e6c3e3800b4c60b6b7abd3835796d012ef3d8 Mon Sep 17 00:00:00 2001 From: Viktor Szakats Date: Fri, 11 Jul 2025 14:29:38 +0200 Subject: [PATCH] trimmarkdownheader.pl: enable warnings, fix one --- .github/scripts/trimmarkdownheader.pl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/scripts/trimmarkdownheader.pl b/.github/scripts/trimmarkdownheader.pl index 9c623730b9..89b2e7d9fd 100755 --- a/.github/scripts/trimmarkdownheader.pl +++ b/.github/scripts/trimmarkdownheader.pl @@ -7,7 +7,10 @@ # Outputs: the same file, minus the header # -my $f = $ARGV[0]; +use strict; +use warnings; + +my $f = $ARGV[0] || ''; open(F, "<$f") or die;