mirror of
https://github.com/ARMmbed/mbedtls.git
synced 2025-06-06 15:03:20 +08:00

The test script, 'basic-build-test.sh', wasn't consistently building with symbols and coverage data, nor doing a forced rebuild.
The test script, 'basic-build-test.sh', wasn't consistently building with symbols and coverage data, nor doing a forced rebuild.