Closed sishtiaq closed 7 years ago
In the context of mitls_verify: Currently, if the hacl-star dir already exists, the hacl-star repo won't be updated. fetch_hacl_for_mitls needs to git reset #hash just like fetch_fstar_for_mitls does.
mitls_verify
hacl-star
fetch_hacl_for_mitls
git reset #hash
fetch_fstar_for_mitls
In the context of
mitls_verify: Currently, if thehacl-stardir already exists, the hacl-star repo won't be updated.fetch_hacl_for_mitlsneeds togit reset #hashjust likefetch_fstar_for_mitlsdoes.