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