CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]   2021/05/12 08:44:18

Modified files:
        devel/cbmc/patches: patch-src_ansi-c_Makefile 
                            patch-src_jsil_Makefile 
                            patch-src_json_Makefile 
                            patch-src_memory-models_Makefile 
                            patch-src_xmllang_Makefile 

Log message:
devel/cbmc: unbreak parallel build

List the header files generated by bison as targets in Makefile rules
since they are prerequisites in other rules.

Reply via email to