CVSROOT: /cvs Module name: ports Changes by: [email protected] 2021/10/29 15:37:58
Modified files:
lang/compcert : Makefile
Log message:
Unbreak sqlports on archs that don't have lang/gcc support (riscv64)
Culprit found with help from espie@
