mirror of
https://github.com/curl/curl.git
synced 2026-06-07 18:24:16 +03:00
randcurl.pl: enable warnings, fix one
This commit is contained in:
parent
c566b68a52
commit
d099ec75f4
1 changed files with 4 additions and 0 deletions
4
.github/scripts/randcurl.pl
vendored
4
.github/scripts/randcurl.pl
vendored
|
|
@ -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();
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue