From ff8d7ddf3958862a763d0282705845e509af7352 Mon Sep 17 00:00:00 2001
From: Michael Adam <obnox@samba.org>
Date: Mon, 27 Oct 2014 23:29:25 +0100
Subject: [PATCH 1/2] script/show_testsuite_time: error out if number argument
 is not a decimal number

Signed-off-by: Michael Adam <obnox@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 d2bf5bc..fb9ea2f 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>)
-- 
1.9.1