Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
driver
Frontend.ml
Find file
Blame
History
Permalink
Handle dcompcertc and dparsedc like all dump opts.
· 8219490a
Bernhard Schommer
authored
Jan 04, 2018
This time with the correct place for setting the destination files. Bug 20521
8219490a