CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 2019/08/29 16:48:30
Modified files: lang/compcert : Makefile lang/compcert/patches: patch-configure Log message: Make an effort to fix the build on powerpc. As seen in landry@'s powerpc bulk build report.