tree d24f9d034354445d3c54fbf7d1930a9f3ded4ab1
parent 0edda4236d83160dfa96fcf3322a3328657fb811
author Gilles Peskine <Gilles.Peskine@arm.com> 1517257149 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1517257876 +0100

Remove duplicate build run

Don't compile twice with MBEDTLS_HAVE_INT64.

But do test with MBEDTLS_HAVE_INT32.