From 6168ae0b870e847417af39f3e007dc583315ffdf Mon Sep 17 00:00:00 2001
From: Michael Adam <obnox@samba.org>
Date: Mon, 27 Oct 2014 23:29:25 +0100
Subject: 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>
---
 script/show_testsuite_time | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/script/show_testsuite_time b/script/show_testsuite_time
index 13ae0b6694..d4379f4597 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>)
-- 
cgit