CVS: cvs.openbsd.org: ports

[Klemens Nanni]

CVSROOT:        /cvs
Module name:    ports
Changes by:     k...@cvs.openbsd.org    2022/02/19 13:02:39

Modified files:
        devel/cbmc     : Makefile 

Log message:
Use ports-gcc to fix sparc64 build and pass CC/CXX to honour CHOSEN_COMPILER