Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
driver
Driver.ml
Find file
Blame
History
Permalink
Do not generate object files for linking.
· ccf1983c
Bernhard Schommer
authored
Oct 12, 2017
If CompCert is called to compile and link object files should not be created. Bug 22399
ccf1983c