commit 48e689e6becc4a227aaa18ba83e2d3914c46552f
author Gilles Peskine <Gilles.Peskine@arm.com> Mon Jan 29 21:19:09 2018 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> Mon Jan 29 21:31:16 2018 +0100
tree d24f9d034354445d3c54fbf7d1930a9f3ded4ab1
parent 0edda4236d83160dfa96fcf3322a3328657fb811

Remove duplicate build run

Don't compile twice with MBEDTLS_HAVE_INT64.

But do test with MBEDTLS_HAVE_INT32.

tests/scripts/all.sh

diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index c60eaaf..ccec60f 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -678,17 +678,6 @@
     scripts/config.pl unset MBEDTLS_AESNI_C
     scripts/config.pl unset MBEDTLS_PADLOCK_C
     make CC=gcc CFLAGS='-Werror -Wall -Wextra -DMBEDTLS_HAVE_INT64'
-
-    msg "test: gcc, force 64-bit compilation"
-    make test
-
-    msg "build: gcc, force 64-bit compilation"
-    cleanup
-    cp "$CONFIG_H" "$CONFIG_BAK"
-    scripts/config.pl unset MBEDTLS_HAVE_ASM
-    scripts/config.pl unset MBEDTLS_AESNI_C
-    scripts/config.pl unset MBEDTLS_PADLOCK_C
-    make CC=gcc CFLAGS='-Werror -Wall -Wextra -DMBEDTLS_HAVE_INT64'
 fi # x86_64
 
 msg "build: arm-none-eabi-gcc, make" # ~ 10s