CVS: cvs.openbsd.org: ports

[Daniel Dickman]

CVSROOT:        /cvs
Module name:    ports
Changes by:     dan...@cvs.openbsd.org  2018/09/11 23:00:50

Modified files:
        lang           : Makefile 

Log message:
+compcert (as requested by danj@)