mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-19 06:36:21 +00:00
The code is built in /usr/src/profanity/ inside Docker, so excluding '/usr/*' removes all source files! Fix: exclude only system headers/libs (/usr/include/*, /usr/lib/*), not the entire /usr/ tree. Also add --ignore-errors empty to handle edge cases.