CVS: cvs.openbsd.org: ports

[Stuart Henderson]

CVSROOT:        /cvs
Module name:    ports
Changes by:     st...@cvs.openbsd.org   2024/04/30 04:31:38

Modified files:
        lang/compcert  : Makefile 

Log message:
mark BROKEN-i386