CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/06/12 16:15:54
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-doc_ccomp_1
patch-driver_Frontend_ml
Added files:
lang/compcert/patches: patch-cparser_Diagnostics_ml
patch-cparser_Diagnostics_mli
Log message:
Update to latest upstream with some support for -MD and -MMD. Also merge
upstream's "unknown-warnings" branch as a proposed solution for issue 552.
