CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/03/23 04:54:59
Modified files:
devel/frama-c : Makefile
math/coq : Makefile
Log message:
DPB_PROPERTIES=parallel not needed
Sneaked in the last OCaml update. Those ports aren't big nor critical
enough to warrant the use of multiple build slots in regular bulk
builds.
