CVSROOT: /cvs Module name: ports Changes by: [email protected] 2020/07/16 17:43:32
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-Makefile patch-configure
Log message:
Update to commit 72f78307 with additional updates to support bytecode-only
platforms.
