Skip to main content

Browse the archive

Revision 6489adef7972273936a558ec2d751017fc85db29 authored by Pierre-Yves Strub on 25 October 2019, 06:45:59 UTC, committed by Pierre-Yves Strub on 25 October 2019, 06:46:13 UTC 
Make ECO handling more robust
 
 - do not fail when an .eco file is invalid
 - fix the reading of the `version' flag
 - erase staled .eco file
 - do not accept to compile files not handing with .ec or .eca
 - API: .mli file for EcEco

[fix #17398]
1 parent 10b2ab0
History
File Mode Size
docker
install
packaging
srctx
testing
back to top