Update binaries generated by newer rustc

pull/15/head
Andre Richter 5 years ago
parent 2a4fdc4ece
commit 4f4e88cfbe
No known key found for this signature in database
GPG Key ID: 2116C1AB102F615E

@ -8,8 +8,10 @@ staged_files = `git --no-pager diff --name-only --cached`.split(/\n/)
need_inspection = []
staged_files.each do |f|
puts f
exit
need_inspection << f if
f == 'Makefile' || source_files_exts.include?(File.extname(f))
f.include?('Makefile') || source_files_exts.include?(File.extname(f))
end
error = false

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.

Binary file not shown.
Loading…
Cancel
Save