[whimsy] branch master updated: Check for unhandled options

[se...@apache.org]

This is an automated email from the ASF dual-hosted git repository.

sebb pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/whimsy.git


The following commit(s) were added to refs/heads/master by this push:
     new 733c32d  Check for unhandled options
733c32d is described below

commit 733c32d33c67db4989a68f5a49640b7cb1713019
Author: Sebb <se...@apache.org>
AuthorDate: Mon Jun 1 12:06:30 2020 +0100

    Check for unhandled options
---
 tools/download_check.rb | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/download_check.rb b/tools/download_check.rb
index ddaf2e3..307c6df 100755
--- a/tools/download_check.rb
+++ b/tools/download_check.rb
@@ -648,6 +648,11 @@ if __FILE__ == $0
   $ARCHIVE_CHECK = ARGV.delete '--archivecheck'
   $ALLOW_HTTP = ARGV.delete '--http'
 
+  # check for any unhandled options
+  ARGV.each do |arg|
+    raise ArgumentError.new("Invalid option #{arg}") if arg.start_with? '--'
+  end
+
   init
 
   version = ''