diff options
author | Michael Adam <obnox@samba.org> | 2014-10-27 23:29:25 +0100 |
---|---|---|
committer | Michael Adam <obnox@samba.org> | 2014-10-30 20:25:04 +0100 |
commit | 6168ae0b870e847417af39f3e007dc583315ffdf (patch) | |
tree | e3599f55b83838578b9dfa5928a4210cdfc873bd /script/show_testsuite_time | |
parent | 594ffeedfc1e51e8ce7495f762c4e3fd50287af6 (diff) | |
download | samba-6168ae0b870e847417af39f3e007dc583315ffdf.tar.gz |
script/show_testsuite_time: error out if number argument is not a decimal number
Signed-off-by: Michael Adam <obnox@samba.org>
Reviewed-by: Stefan Metzmacher <metze@samba.org>
Diffstat (limited to 'script/show_testsuite_time')
-rwxr-xr-x | script/show_testsuite_time | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/show_testsuite_time b/script/show_testsuite_time index 13ae0b66949..d4379f4597e 100755 --- a/script/show_testsuite_time +++ b/script/show_testsuite_time @@ -17,6 +17,9 @@ if ($#ARGV >= 0) { } if ($#ARGV >= 1) { $max = $ARGV[1]; + if ($max =~ /\D/) { + die "not a decimal number: '$max'"; + } } while(<$fh>) |