CVSROOT: /cvs Module name: ports Changes by: [email protected] 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.
