diff options
| -rw-r--r-- | tools/tools/tinderbox/tbmaster.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/tbmaster.pl b/tools/tools/tinderbox/tbmaster.pl index 1916495..0473a2e 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) |
