CVS: cvs.openbsd.org: ports

[Christian Weisgerber]

CVSROOT:        /cvs
Module name:    ports
Changes by:     na...@cvs.openbsd.org   2021/11/29 15:18:46

Modified files:
        devel/cbmc     : Makefile 

Log message:
devel/cbmc: restore WRKDIST to fix build