CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/06/13 19:44:57
Modified files:
lang/compcert : Makefile
lang/compcert/patches: patch-configure
Log message:
link with -z nobtcfi unless CompCert can handle jump tables
