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.
