Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
Makefile.extr
Find file
Blame
History
Permalink
Do not use -warn-error when building from a release tarball
· 27beb944
Xavier Leroy
authored
Nov 14, 2020
Stopping on warnings is useful for development builds, but unhelpful for released software.
27beb944