# File lib/rake/file_utils_ext.rb, line 136
136:     def rake_check_options(options, *optdecl)
137:       h = options.dup
138:       optdecl.each do |name|
139:         h.delete name
140:       end
141:       raise ArgumentError, "no such option: #{h.keys.join(' ')}" unless h.empty?
142:     end