mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
23362444b8
Improves the generation of the file list by using git diff-files and parsing the output directly. Also: * The list now only includes files that exist in the working directory (so no existence checks are needed). * Added `--cached` option to check staged files only. * Fix some missing local variable declarations.