Commit 3b185850 authored by Fulvio Galeazzi's avatar Fulvio Galeazzi
Browse files

2018-04-05: FG; Bug fix.

parent 0928d9c2
......@@ -132,7 +132,7 @@ if (defined $opt_select) {
$selectSize += 0.;
}
}
unless ($selectSizeOrDev and $selectSize >= 0.) {
if ($selectSizeOrDev > 0 and $selectSize < 0.) {
fail_usage "SelectSize option -s expects positive float, when used together with -p option.";
}
#
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment