summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xinf.pl2
1 files changed, 1 insertions, 1 deletions
diff --git a/inf.pl b/inf.pl
index 74a30b2..5bf289b 100755
--- a/inf.pl
+++ b/inf.pl
@@ -217,7 +217,7 @@ sub usage() {
my $options = {};
-getopts( "v:c:o:f:s:n:p:lh", $options );
+getopts( "Fv:c:o:f:s:n:p:lh", $options );
my $infs = [];
my $port = undef;