From d099ec75f46f71dcf34128cffaa03153833ba708 Mon Sep 17 00:00:00 2001
From: Viktor Szakats <commit@vsz.me>
Date: Mon, 14 Jul 2025 20:08:26 +0200
Subject: [PATCH] randcurl.pl: enable warnings, fix one

---
 .github/scripts/randcurl.pl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/scripts/randcurl.pl b/.github/scripts/randcurl.pl
index 1c90ea5616..c07ba9b7de 100755
--- a/.github/scripts/randcurl.pl
+++ b/.github/scripts/randcurl.pl
@@ -18,6 +18,9 @@
 # directory where it runs.
 #
 
+use strict;
+use warnings;
+
 my $curl = "../src/curl";
 my $url = "localhost:7777"; # not listening to this
 
@@ -172,6 +175,7 @@ sub runconfig {
         my $o = getnum($nopts);
         my $option = $opt[$o];
         my $ar = "";
+        $uniq{$option} = 0 if(!exists $uniq{$option});
         $uniq{$option}++;
         if($arg{$option}) {
             $ar = " ".randarg();