From fe468ebbfb89dfacba9572ebb1f29623ec83c3d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dag-Erling=20Sm=C3=B8rgrav?= Date: Thu, 24 Jul 2003 10:44:45 +0000 Subject: [PATCH] Complain about extraneous command line arguments. --- tools/tools/tinderbox/tbmaster.pl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/tools/tinderbox/tbmaster.pl b/tools/tools/tinderbox/tbmaster.pl index 1916495d347..0473a2ee3f7 100644 --- a/tools/tools/tinderbox/tbmaster.pl +++ b/tools/tools/tinderbox/tbmaster.pl @@ -316,6 +316,9 @@ MAIN:{ "c|config=s" => \$config, "e|etcdir=s" => \$etcdir, ) or usage(); + if (@ARGV) { + usage(); + } if (defined($etcdir)) { chdir($etcdir)