tree 5715acb6a1d6b8b9ad300b7bf8a011d43e78199a
parent 6316ceb4b5ade8a38ec2724b62c2cc8d4840778a
author Gilles Peskine <Gilles.Peskine@arm.com> 1496927960 +0200
committer Simon Butcher <simon.butcher@arm.com> 1501164481 +0100

MBEDTLS_NO_INT64_DIVISION -> MBEDTLS_NO_UDBL_DIVISION

Changed the option to disable the use of 64-bit division, to an option
to disable the use of double-width division, whether that's 64 or 128-bit.