mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00
tool/sync_default_gems.rb: Prevent infinite loop due to unknown options
This commit is contained in:
parent
71b17c4110
commit
f7dc4d5cda
1 changed files with 3 additions and 0 deletions
|
@ -536,6 +536,9 @@ else
|
|||
when "-a"
|
||||
auto = true
|
||||
ARGV.shift
|
||||
else
|
||||
$stderr.puts "Unknown command line option: #{ARGV[0]}"
|
||||
exit 1
|
||||
end
|
||||
end
|
||||
gem = ARGV.shift
|
||||
|
|
Loading…
Reference in a new issue