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