Skip to content

configure: add option -sharedir to specify where to put compcert.ini

19b8e1c
Select commit
Loading
Failed to load commit list.
Merged

configure: add option -sharedir to specify where to put compcert.ini #460

configure: add option -sharedir to specify where to put compcert.ini
19b8e1c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs